Tools and Algorithms for the Construction and Analysis of Systems Taschenbuch
Titel: Tools and Algorithms for the Construction and Analysis of Systems | Zusatz: 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings | Medium: Taschenbuch | Redaktion: Orna Grumberg (u. a.) | Inhalt: Einband - flex.(Paperback) | Sprache: Englisch | Seiten: 740 | Abbildungen: XX, 740 p. | Maße: 40 x 155 x 235 mm | Erschienen: 09.03.2007 | Anbieter: Buchbär.
Jetzt bei Ebay: