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