Verification, Model Checking, and Abstract Interpretation Agostino Cortesi
53,49 €
Titel: Verification, Model Checking, and Abstract Interpretation, Untertitel: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers, Einband: Taschenbuch, Autor: Agostino Cortesi, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 348, Maße: 235x155x19 mm, Gewicht: 528 g, Verkäufer: buch-mimpf, Schlagworte: Informatik Concurrent Systems Correct System Design Optimization Program Specification Program Verification Reactive Systems abstract interpretation formal methods model checking program analysis program optimization program semantics temporal logics verification.
Jetzt bei Ebay:
