Natasha Sharygina (u. a.) | Tools and Algorithms for the Construction and...
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. | Ausstattung / Beilage: Paperback | Auflage: 1st ed. 2023 | Sprache: Englisch | Seiten: 628 | Reihe: Lecture Notes in Computer Science | Maße: 235 x 155 x 34 mm | Erschienen: 20.04.2023 | Anbieter: Faboplay.
Jetzt bei Ebay: