Computer Aided Verification Chao Wang
42,79 €
Titel: Computer Aided Verification, Untertitel: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II, Einband: Taschenbuch, Autor: Chao Wang, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 704, Maße: 235x155x38 mm, Gewicht: 1048 g, Verkäufer: buch-mimpf, Schlagworte: Artificial Intelligence Computer Systems Correlation Analysis Embedded Systems Open Access Programming languages Semantics Software Design Verification and Validation architecture verification and validation automata theory distributed computer systems formal languages formal logic linguistics model checking software architecture software quality.
Jetzt bei Ebay:
