Principles of the Spin Model Checker - Ben-Ari, Mordechai
Růst ceny o 1 %
Nejnižší cena od 10. 9. 2026: 1 821 Kč.
O produktu
Principles of Spin is an introductory book, the only requirement is a background in programming. The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching important concepts of computer science such as verification, concurrency and nondeterminism.
Tip: Podívejte se také na další produkty z kategorie Počítačové programování, software.
Vývoj ceny
Podobné produkty
Specifikace
- EAN
- 9781846287695
Recenze
Recenze u nás zatím nikdo nenapsal — budete první?
