Deductive Software Verification - The KeY Book Wolfgang Ahrendt
Titel: Deductive Software Verification - The KeY Book, Untertitel: From Theory to Practice, Einband: Taschenbuch, Autor: Wolfgang Ahrendt, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 736, Maße: 235x155x40 mm, Gewicht: 1095 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering Case Studies Compilation Formal Specification Program Transformation Test case generation Visualization debugging tool deductive verification first-order logic formal methods formal software analysis formal verification integer semantics partial evaluation programming language semantic constraints software development specification language symbolic execution.
Jetzt bei Ebay:
