Lecture Notes in Computer Science- Computer Aided Verification 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
Afbeeldingen
Artikel vergelijken
- Engels
- Paperback
- 9783540405245
- 27 juni 2003
- 462 pagina's
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;
Productspecificaties
Wij vonden geen specificaties voor jouw zoekopdracht '{SEARCH}'.
Inhoud
- Taal
- en
- Bindwijze
- Paperback
- Oorspronkelijke releasedatum
- 27 juni 2003
- Aantal pagina's
- 462
- Illustraties
- Nee
Betrokkenen
- Hoofdredacteur
- Warren A. Hunt, Jr.
- Tweede Redacteur
- Fabio Somenzi
- Co Redacteur
- Warren A. Hunt Jr
- Hoofduitgeverij
- Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Overige kenmerken
- Editie
- 2003 ed.
- Extra groot lettertype
- Nee
- Product breedte
- 155 mm
- Product lengte
- 233 mm
- Studieboek
- Ja
- Verpakking breedte
- 155 mm
- Verpakking hoogte
- 233 mm
- Verpakking lengte
- 233 mm
- Verpakkingsgewicht
- 1470 g
EAN
- EAN
- 9783540405245
Je vindt dit artikel in
- Categorieën
- Taal
- Engels
- Boek, ebook of luisterboek?
- Boek
- Studieboek of algemeen
- Studieboeken
Kies gewenste uitvoering
Bindwijze
: Paperback
Prijsinformatie en bestellen
Rapporteer dit artikel
Je wilt melding doen van illegale inhoud over dit artikel:
- Ik wil melding doen als klant
- Ik wil melding doen als autoriteit of trusted flagger
- Ik wil melding doen als partner
- Ik wil melding doen als merkhouder
Geen klant, autoriteit, trusted flagger, merkhouder of partner? Gebruik dan onderstaande link om melding te doen.