EAN: | 9783540311393 |
---|---|
Sachgruppe: | Informatik, EDV |
Sprache: | Englisch |
Seitenzahl: | 460 |
Produktart: | Kartoniert / Broschiert |
Herausgeber: | Emerson, E. Allen Namjoshi, Kedar S. |
Veröffentlichungsdatum: | 19.12.2005 |
Untertitel: | 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings |
Schlagworte: | EDV / Theorie / Software-Entw. / Qualitätssicherung, Qualität |
53,49 €*
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
Proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2006 27 revised full papers feature current research Coverage includes model checking and abstract interpretation, facilitating interaction, cross-fertilization and advancement of hybrid methods