Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

Gespeichert in:
1. Verfasser:
Beckert, Bernhard
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Berlin, Heidelberg Springer Berlin Heidelberg 2012
ISBN:
9783642317620
ISSN:
0302-9743
Schlagworte:
Softwareprodukt
Objektorientierung
Verifikation
Formale Methode
Objektorientierte Programmiersprache
Computer science
Software engineering
Logic design
Information Systems
Bezugswerke:
Links: