Gå direkt till innehållet
25 Years of Model Checking
Spara

25 Years of Model Checking

Lägsta pris på PriceRunner
This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, features papers based on talks at the symposium "25 Years of Model Checking", 25MC, which was part of the 18th International Conference on Computer Aided Verification.
Undertitel
History, Achievements, Perspectives
Upplaga
2008 ed.
ISBN
9783540698494
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2008-06-17
Sidor
234