Rupak Majumdar (u. a.) | Tools and Algorithms for the Construction and...
49,95 €
Titel: Tools and Algorithms for the Construction and Analysis of Systems | Zusatz: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings | Medium: Taschenbuch | Redaktion: Rupak Majumdar (u. a.) | Einband: Kartoniert / Broschiert | Inhalt: xvi / 468 S. / 102 s/w Illustr. / 468 p. 102 illus. | Auflage: 2010 | Sprache: Englisch | Seiten: 488 | Maße: 235 x 155 x 27 mm | Erschienen: 17.03.2010 | Anbieter: Faboplay.
Jetzt bei Ebay:
