Computer Aided Verification Yakir Vizel
Titel: Computer Aided Verification, Untertitel: 34th International Conference, CAV 2022, Haifa, Israel, August 7¿10, 2022, Proceedings, Part I, Einband: Taschenbuch, Autor: Yakir Vizel, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 576, Maße: 235x155x31 mm, Gewicht: 861 g, Verkäufer: buch-mimpf, Schlagworte: architecting architecture nd validation Artificial Intelligence computer programming Computer Science Computer Systems distributed computer systems distributed systems Embedded Systems formal logic mathematics model checking Programming languages software architecture Software Design Software Engineering software quality theoretical computer science Verification and Validation.
Jetzt bei Ebay:
