Description
Model Checking
Authors: Jr. Edmund M. Clark, Grumberg Orna, Kroening Daniel, Peled Doron, Veith Helmut
Language: EnglishSubject for Model Checking :
Approximative price 80.87 €
In Print (Delivery period: 12 days).
Add to cart
the book of Jr. Edmund M. Clark, Grumberg Orna, Kroening Daniel, Peled Doron, Veith Helmut
Publication date: 01-2019
424 p. · 17.8x23.5 cm · Hardback
424 p. · 17.8x23.5 cm · Hardback
© 2024 LAVOISIER S.A.S.