Computer Aided Verification Chao Wang
Titel: Computer Aided Verification, Untertitel: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I, Einband: Taschenbuch, Autor: Chao Wang, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 688, Maße: 235x155x37 mm, Gewicht: 1025 g, Verkäufer: buch-mimpf, Schlagworte: Artificial Intelligence Computer Hardware Computer Systems Data Security Embedded Systems Open Access Signal Processing Software Design Verification and Validation architecture verification and validation computer networks computer programming distributed computer systems formal logic linguistics model checking network protocols parallel processing systems software architecture software quality.
Jetzt bei Ebay:
