Software Engineering and Formal Methods Antonio Cerone
Titel: Software Engineering and Formal Methods, Untertitel: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings, Einband: Taschenbuch, Autor: Antonio Cerone, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 340, Maße: 235x155x19 mm, Gewicht: 517 g, Verkäufer: buch-mimpf, Schlagworte: Artificial Intelligence Computer Hardware Embedded Systems Engineering Software Design Software Engineering Verification and Validation architecting architecture verification and validation computer programming distributed computer systems formal logic formal methods formal verifications linguistics mathematics model checking software architecture software quality verification.
Jetzt bei Ebay:
