Verification, Model Checking, and Abstract Interpretation Rayna Dimitrova
Titel: Verification, Model Checking, and Abstract Interpretation, Untertitel: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II, Einband: Taschenbuch, Autor: Rayna Dimitrova, Verlag: Springer Nature Switzerland, Springer Nature Switzerland, Sprache: Englisch, Seiten: 360, Maße: 235x155x20 mm, Gewicht: 546 g, Verkäufer: buch-mimpf, Schlagworte: Artificial Intelligence Computer Systems Embedded Systems Logic Programming Programming languages Software Design Software Engineering Verification and Validation architecting architecture verification and validation computer programming distributed computer systems formal logic mathematics model checking parallel processing systems program compilers software architecture software quality.
Jetzt bei Ebay:
