Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

Gespeichert in:
Hauptverfasser:
D'Souza, Deepak (HerausgeberIn), Narayan Kumar, K. (HerausgeberIn)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Cham Springer International Publishing Imprint: Springer 2017
Umfang:
1 Online-Ressource (XIX, 482 p. 106 illus)
text file PDF
Schriftenreihe:
Lecture Notes in Computer Science
ISBN:
9783319681672
ISSN:
0302-9743
Schlagworte:
Computer science
Computer organization
Software engineering
Programming languages (Electronic computers)
Computers
Bezugswerke:
Links: