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

Viac informácií o knihe Computer Aided Verification

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

Nákupom získate 125 bodov

Anotácia knihy

The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented togeth

Parametre knihy

• Celý názov: Computer Aided Verification
• Autor: Isil Dillig, Serdar Tasiran
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 549
• EAN: 9783030255428
• ISBN: 3030255425
• ID: 24027842
• Nakladateľ: Springer Nature Switzerland AG
• Hmotnosť: 866 g
• Rozmery: 235 × 155 × 31 mm
• Dátum vydania: 13. July 2019

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

---

---

---