Software Engineering and Formal Methods Ming Chai
Titel: Software Engineering and Formal Methods, Untertitel: 20th International Conference, SEFM 2022, Berlin, Germany, September 26¿30, 2022, Proceedings, Einband: Taschenbuch, Autor: Ming Chai, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 388, Maße: 235x155x21 mm, Gewicht: 587 g, Verkäufer: buch-mimpf, Schlagworte: architecting Artificial Intelligence databases distributed computer systems distributed systems Embedded Systems formal logic linguistics mathematics model checking Object-oriented programming parallel processing systems software architecture Software Design software quality verification Verification and Validation architecture verification and validation.
Jetzt bei Ebay:
