Gå direkt till innehållet
Computer Aided Verification
Spara

Computer Aided Verification

Lägsta pris på PriceRunner
The 36 revised full papers presented together with 16 tool papers and 4 invited talks and 4 invited tutorials were carefully reviewed and selected from 135 regular paper and 34 tool paper submissions.
Undertitel
21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
Upplaga
2009 ed.
ISBN
9783642026577
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2009-06-19
Sidor
722