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

Computer Aided Verification
  • Engels
  • Paperback
  • 9783540405245
  • Druk: 2003
  • 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
Verschijningsdatum
juni 2003
Aantal pagina's
462 pagina's
Illustraties
Nee

Betrokkenen

Redacteur
Warren A. Hunt, Jr.
Co-redacteur
Fabio Somenzi
Uitgever
Springer

EAN

EAN
9783540405245

Overige kenmerken

Extra groot lettertype
Nee
Gewicht
1470 g
Verpakking breedte
155 mm
Verpakking hoogte
24 mm
Verpakking lengte
233 mm

Je vindt dit artikel in

Categorieën
Taal
Engels
Boek, ebook of luisterboek?
Boek
Nog geen reviews
Bindwijze: Paperback
106 99
Verwacht over 9 weken Tooltip
Verkoop door bol.com
In winkelwagen
Wat je kan verwachten:
  • Prijs inclusief verzendkosten, verstuurd door bol.com
  • Ophalen bij een bol.com afhaalpunt mogelijk
  • 30 dagen bedenktijd en gratis retourneren
  • Dag en nacht klantenservice