Leveraging Applications of Formal Methods, Verification and Validation. Verifica
Titel: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, Untertitel: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22¿30, 2022, Proceedings, Part I, Einband: Taschenbuch, Autor: Bernhard Steffen, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 612, Maße: 235x155x33 mm, Gewicht: 914 g, Verkäufer: buch-mimpf, Schlagworte: architecture verification and validation Artificial Intelligence Computer Hardware computer programming distributed computer systems Embedded Systems formal languages formal logic formal verifications model checking Object-oriented programming software architecture Software Design Software Engineering software quality.
Jetzt bei Ebay:
