Filter
Sökt på: christel baier
Filter
1 träff
Principles of Model Checking
E-bok,
2008,
Engelska,
ISBN 9780262267564
A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both …