Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

Gespeichert in:
1. Verfasser:
Flanagan, Cormac
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Berlin, Heidelberg Springer Berlin Heidelberg 2012
ISBN:
9783642287565
ISSN:
0302-9743
Schlagworte:
Softwareentwicklung
Systementwicklung
Verifikation
Theoretische Informatik
Programmiersprache
Computer science
Computer Communication Networks
Software engineering
Logic design
Artificial intelligence
Bezugswerke:
Links: