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 100 bodov

Anotácia knihy

This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24-27, 2024.

The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.

Parametre knihy

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

• Celý názov: Computer Aided Verification
• Podnázov: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II
• Autor: Arie Gurfinkel, Vijay Ganesh
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 500
• EAN: 9783031656293
• ID: 46145316
• Nakladateľ: Springer, Berlin
• Hmotnosť: 686 g
• Rozmery: 235 × 155 mm
• Dátum vydania: 26. August 2024

---

---

---