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 I | Medium: Taschenbuch | Redaktion: Natasha Sharygina (u. a.) | Einband: Kartoniert / Broschiert | Inhalt: xxiii / 708 S. / 53 s/w Illustr. / 140 farbige Illustr. / 708 p. 193 illus. / 140 illus. in color. | Auflage: 1st edition 2023 | Sprache: Englisch | Seiten: 732 | Maße: 235 x 155 x 40 mm | Erschienen: 22.04.2023 | Anbieter: Buchbär.
Jetzt bei Ebay: