759:-
Uppskattad leveranstid 7-12 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
The refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003. The 32 revised full papers and 9 tool papers presented were carefully reviewed and selected from a total of 102 submissions. The papers are organized in topical sections on bounded model checking; symbolic model checking; games, trees, and counters; tools; abstraction; dense time; infinite state systems; applications; theorem proving; automata-based verification; invariants; and explicit model checking.
- Format: Pocket/Paperback
- ISBN: 9783540405245
- Språk: Engelska
- Antal sidor: 462
- Utgivningsdatum: 2003-06-01
- Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K