Maurice H. Ter Beek (u. a.) | Critical Systems: Formal Methods and Automated...
49,95 €
Titel: Critical Systems: Formal Methods and Automated Verification | Zusatz: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings | Medium: Taschenbuch | Redaktion: Maurice H. Ter Beek (u. a.) | Einband: Kartoniert / Broschiert | Inhalt: xvi / 247 S. / 89 s/w Illustr. / 247 p. 89 illus. | Auflage: 1st edition 2016 | Sprache: Englisch | Seiten: 264 | Maße: 235 x 155 x 15 mm | Erschienen: 14.09.2016 | Anbieter: Faboplay.
Jetzt bei Ebay:
