Mohlo by se vám také líbit

Více informací o knize Tools and Algorithms for the Construction and Analysis of Systems

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 183 bodů

Anotace knihy

This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development

• Plný název: Tools and Algorithms for the Construction and Analysis of Systems
• Autor: TomáS Vojnar, Lijun Zhang
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 433
• EAN: 9783030174613
• ISBN: 3030174611
• ID: 22144678
• Nakladatelství: Springer Nature Switzerland AG
• Hmotnost: 700 g
• Rozměry: 235 × 155 × 25 mm
• Datum vydání: 04. April 2019

Oblíbené z jiného soudku

---

---

---