Tools and Algorithms for the Construction and Analysis of Systems - Bernhard Steffen - Książki - Saint Philip Street Press - 9781013271212 - 8 października 2020
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Bernhard Steffen
Tools and Algorithms for the Construction and Analysis of Systems

Cena
zł 238,90

Zamówione z odległego magazynu

Przewidywana dostawa 6 - 15 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

Również dostępne jako:

This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It's a special volume on the occasion of the 25 year anniversary of TACAS. This work was published by Saint Philip Street Press pursuant to a Creative Commons license permitting commercial use. All rights not granted by the work's license are retained by the author or authors.

Media Książki     Hardcover Book   (Książka z twardym grzbietem i okładką)
Wydane 8 października 2020
ISBN13 9781013271212
Wydawcy Saint Philip Street Press
Strony 280
Wymiary 216 × 280 × 18 mm   ·   938 g
Język Angielski  

Więcej od Bernhard Steffen

Pokaż wszystko

Zobacz wszystko od Bernhard Steffen ( np. Paperback Book i Hardcover Book )