Lecture Notes in Computer Science : 10427
2017
Volltextzugriff (PDF)
Details
- Autor(en) / Beteiligte
- Titel
- Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
- Ist Teil von
- Lecture Notes in Computer Science : 10427
- Ort / Verlag
- Cham : Springer International Publishing
- Erscheinungsjahr
- 2017
- Sprache
- Englisch
- Identifikatoren
- ISBN: 9783319633909DOI: 10.1007/978-3-319-63390-9OCLC-Nummer: 1074977815, 1074977815Titel-ID: 990219100180206441
- Format
- 1 Online-Ressource (XVII, 623 p. 146 illus)
- Schlagworte
- Computer science, Computer programming, Software engineering, Programming languages (Electronic computers), Computer logic, Mathematical logic, Computers