Leveraging Applications of Formal Methods, Verification and Validation. Software
Titel: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, Untertitel: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22¿30, 2022, Proceedings, Part II, Einband: Taschenbuch, Autor: Bernhard Steffen, Verlag: Springer Nature Switzerland, Springer International Publishing, Sprache: Englisch, Seiten: 444, Maße: 235x155x24 mm, Gewicht: 668 g, Verkäufer: buch-mimpf, Schlagworte: architecting Artificial Intelligence computational linguistics computer programming computer software maintenance databases distributed computer systems distributed systems Embedded Systems formal logic Object-oriented programming parallel processing systems Signal Processing software architecture Software Design software quality.
Jetzt bei Ebay:
