Verification, Model Checking, and Abstract Interpretation Kedar S. Namjoshi
53,49 €
Titel: Verification, Model Checking, and Abstract Interpretation, Untertitel: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings, Einband: Taschenbuch, Autor: Kedar S. Namjoshi, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 460, Maße: 235x155x25 mm, Gewicht: 692 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Qualitätssicherung, Qualität Design Factor Program Verification Refactoring abstraction algorithms complexity model checking program analysis program invariants program semantics programming programming calculi structured analysis verification.
Jetzt bei Ebay:
