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

Viac informácií o knihe Model Checking Software

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

Nákupom získate 125 bodov

Anotácia knihy

This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.

The 9 full papers, 3 short papers and 2 invited papers included in this book were carefully reviewed and selected from 23 submissions. They are organized in topical sections as follows: model checking; anniversary; automated reasoning; and verification tools.

Parametre knihy

Zaradenie knihy Knihy po anglicky Technology, engineering, agriculture Electronics & communications engineering Electronics engineering

• Celý názov: Model Checking Software
• Podnázov: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
• Autor: Thomas Neele, Anton Wijs
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 260
• EAN: 9783031661488
• ID: 46145408
• Nakladateľ: Springer, Berlin
• Hmotnosť: 435 g
• Rozmery: 235 × 155 mm
• Dátum vydania: 04. October 2024

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

---

---

---