Formal Modeling and Analysis of Timed Systems David Parker
Titel: Formal Modeling and Analysis of Timed Systems, Untertitel: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13¿15, 2022, Proceedings, Einband: Taschenbuch, Autor: David Parker, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 324, Maße: 235x155x18 mm, Gewicht: 493 g, Verkäufer: buch-mimpf, Schlagworte: architecting architecture verification and validation Artificial Intelligence automata theory Computer Hardware computer networks computer programming Computer Science Computer Systems Embedded Systems Engineering formal languages linguistics mathematics model checking Signal Processing software architecture Software Design Software Engineering theoretical computer science.
Jetzt bei Ebay:
