Tools and Algorithms for the Construction and Analysis of Systems Taschenbuch
Titel: Tools and Algorithms for the Construction and Analysis of Systems | Zusatz: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II | Medium: Taschenbuch | Redaktion: Natasha Sharygina (u. a.) | Einband: Kartoniert / Broschiert | Inhalt: xxiv / 604 S. / 54 s/w Illustr. / 163 farbige Illustr. / 604 p. 217 illus. / 163 illus. in color. | Auflage: 1st edition 2023 | Sprache: Englisch | Seiten: 628 | Maße: 235 x 155 x 34 mm | Erschienen: 20.04.2023 | Anbieter: Buchbär.
Jetzt bei Ebay: