Mohlo by sa vám tiež páčiť

Viac informácií o knihe Tools and Algorithms for the Construction and Analysis of Systems

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 191 bodov

Anotácia knihy

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

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development

• Celý názov: Tools and Algorithms for the Construction and Analysis of Systems
• Podnázov: 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
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 258
• EAN: 9783030175016
• ISBN: 3030175014
• ID: 22188466
• Nakladateľ: Springer Nature Switzerland AG
• Hmotnosť: 444 g
• Rozmery: 235 × 155 × 16 mm
• Dátum vydania: 04. April 2019

Obľúbené z iného súdka

---

---

---