Formal Modeling and Analysis of Timed Systems Mahsa Shirmohammadi
Titel: Formal Modeling and Analysis of Timed Systems, Untertitel: 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings, Einband: Taschenbuch, Autor: Mahsa Shirmohammadi, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 168, Maße: 235x155x10 mm, Gewicht: 265 g, Verkäufer: buch-mimpf, Schlagworte: Artificial Intelligence Computer Hardware Computer Science Computer Systems Computer vision Embedded Systems Engineering Signal Processing Software Design Software Engineering architecting architecture verification and validation automata theory automation computer programming formal logic mathematics model checking software architecture theoretical computer science.
Jetzt bei Ebay:
