Theoretical Computer Science and General Issues : 12225
1st ed. 2020, 2020
Volltextzugriff (PDF)
Details
- Autor(en) / Beteiligte
- Titel
- Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
- Ist Teil von
- Theoretical Computer Science and General Issues : 12225
- Auflage
- 1st ed. 2020
- Ort / Verlag
- Cham : Springer International Publishing
- Erscheinungsjahr
- 2020
- Sprache
- Englisch
- Identifikatoren
- ISBN: 9783030532918DOI: 10.1007/978-3-030-53291-8Titel-ID: 990367373060206441
- Format
- 1 Online-Ressource (XVIII, 683 p. 719 illus., 94 illus. in color)
- Schlagworte
- Software engineering, Computers, Artificial intelligence, Computer organization, Computer hardware, Computer simulation