Verification, Model Checking, and Abstract Interpretation Lenore D. Zuck
53,49 €
Titel: Verification, Model Checking, and Abstract Interpretation, Untertitel: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings, Einband: Taschenbuch, Autor: Lenore D. Zuck, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 340, Maße: 235x155x19 mm, Gewicht: 517 g, Verkäufer: buch-mimpf, Schlagworte: Informatik Verifikation - verifizieren Concurrent Systems Model Construction Program Specification Program Verification Reactive Systems Simulation abstract interpretation algorithms complexity model checking program optimization program semantics structured analysis temporal logics verification.
Jetzt bei Ebay:
