Leveraging Applications of Formal Methods, Verification and Validation. Software
70,61 €
Titel: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, Untertitel: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27¿31, 2024, Proceedings, Part IV, Einband: Taschenbuch, Autor: Bernhard Steffen, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 344, Maße: 235x155x19 mm, Gewicht: 522 g, Verkäufer: buch-mimpf, Schlagworte: architecture Artificial Intelligence computer programming distributed computer systems Embedded Systems formal languages formal logic formal verifications Object-oriented programming software architecture.
Jetzt bei Ebay:
