Formal Modeling and Analysis of Timed Systems Pavithra Prabhakar
Titel: Formal Modeling and Analysis of Timed Systems, Untertitel: 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings, Einband: Taschenbuch, Autor: Pavithra Prabhakar, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 300, Maße: 235x155x17 mm, Gewicht: 458 g, Verkäufer: buch-mimpf, Schlagworte: Algorithmus EDV / Theorie / Software-Entw. / Software Engineering Informatik Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Mathematik / Informatik, Computer Roboter - Robotik - Industrieroboter Algorithm analysis and problem complexity Artificial Intelligence Matrix algebra Semantics Software Engineering Specifications model checking problem solving robots temporal logic timed automata translation (languages).
Jetzt bei Ebay:
