Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

Gespeichert in:
1. Verfasser:
Veanes, Margus
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Berlin, Heidelberg Springer Berlin Heidelberg 2013
Umfang:
X, 233 p. 50 illus
ISBN:
9783642389160
ISSN:
0302-9743
Schlagworte:
Softwareentwicklung
Softwaretest
Beweis
Softwaresystem
Programmverifikation
Model Checking
Formale Methode
Computer science
Software engineering
Logic design
Computer simulation
Bezugswerke:
Links: