Mohlo by se vám také líbit

Více informací o knize Computer Aided Verification

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

Nákupem získáte 118 bodů

Anotace knihy

This 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 toget

Parametry knihy

• Plný název: Computer Aided Verification
• Autor: Isil Dillig, Serdar Tasiran
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 673
• EAN: 9783030255398
• ISBN: 3030255395
• ID: 24027841
• Nakladatelství: Springer Nature Switzerland AG
• Hmotnost: 1050 g
• Rozměry: 235 × 155 × 38 mm
• Datum vydání: 13. July 2019

Oblíbené z jiného soudku

---

---

---