Zobacz książki o podobnej tematyce

Więcej informacji o Tools and Algorithms for the Construction and Analysis of Systems

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 160 punkty

Opis

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 Pragu

Szczegóły książki

Kategoria Książki po angielsku Computing & information technology Computer programming / software development

• Pełny tytuł: Tools and Algorithms for the Construction and Analysis of Systems
• Podtytuł: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III
• Autor: Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
• Język: Angielski
• Oprawa: Miękka
• Liczba stron: 258
• EAN: 9783030175016
• ISBN: 3030175014
• ID: 22188466
• Wydawca: Springer Nature Switzerland AG
• Waga: 444 g
• Wymiary: 235 × 155 × 16 mm
• Data wydania: 04. April 2019

Ulubione w innej kategorii

---

---

---