Formal Modeling and Analysis of Timed Systems Marius Bozga
51,36 €
Titel: Formal Modeling and Analysis of Timed Systems, Untertitel: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings, Einband: Taschenbuch, Autor: Marius Bozga, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 264, Maße: 235x155x15 mm, Gewicht: 406 g, Verkäufer: buch-mimpf, Schlagworte: Datenverarbeitung Elektronik / EDV EDV / Theorie / Software-Entw. / Software Engineering Models of computation formal languages and automata theory formal methods model checking petri nets safety critical systems software system models theory of computation timed automata timed systems.
Jetzt bei Ebay:
