Computer Aided Verification 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings

Computer Aided Verification
Uitgever: Springer
  • Engels
  • Paperback
  • 9783540405245
  • Druk: 2003 ed.
  • juni 2003
  • 462 pagina's
Alle productspecificaties

Samenvatting

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.

Productspecificaties

Inhoud

Taal
Engels
Bindwijze
Paperback
Druk
2003 ed.
Verschijningsdatum
2003-06-27
Aantal pagina's
462 pagina's
Illustraties
Nee

Betrokkenen

Redacteur
Warren A. Hunt
Co-redacteur
Warren A. Hunt Jr
Uitgever
Springer

EAN

EAN
9783540405245

Overige kenmerken

Extra groot lettertype
Nee
Oorspronkelijke releasedatum
2003-06-27
Subtitel
15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
Thema Subject Code
UY

Je vindt dit artikel in

Categorieën
Taal
Engels
Studieboek of algemeen
Algemene boeken
Boek, ebook of luisterboek?
Boek
Nog geen reviews
Bindwijze: Paperback
143 99
Uiterlijk 6 december in huis Tooltip
Verkoop door bol.com
  • Gratis verzending
  • 30 dagen bedenktijd en gratis retourneren
  • Ophalen bij een bol.com afhaalpunt mogelijk
  • Dag en nacht klantenservice