Software Engineering and Formal Methods Tim A. C. Willemse
Titel: Software Engineering and Formal Methods, Untertitel: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings, Einband: Taschenbuch, Autor: Tim A. C. Willemse, Verlag: Springer Nature Switzerland, Springer International Publishing, Sprache: Englisch, Seiten: 392, Maße: 235x155x22 mm, Gewicht: 593 g, Verkäufer: buch-mimpf, Schlagworte: Computer Systems Embedded Systems Neural Networks Programming languages Software Design Software Engineering Verification and Validation architecture verification and validation computer programming distributed computer systems distributed systems formal languages formal logic model checking parallel processing systems software architecture software quality verification.
Jetzt bei Ebay:
