Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Afbeeldingen
Artikel vergelijken
- Engels
- Paperback
- 9783540374060
- 08 augustus 2006
- 584 pagina's
Samenvatting
Constitutes the refereed proceedings of the 18th International Conference on Computer Aided Verification, CAV 2006, held as part of the 4th Federated Logic Conference, FLoC 2006. This book presents papers that address various issues in computer aided verification and model checking - from foundational and methodological issues.
Productspecificaties
Wij vonden geen specificaties voor jouw zoekopdracht '{SEARCH}'.
Inhoud
- Taal
- en
- Bindwijze
- Paperback
- Oorspronkelijke releasedatum
- 08 augustus 2006
- Aantal pagina's
- 584
- Illustraties
- Nee
Betrokkenen
- Hoofdredacteur
- Thomas Ball
- Tweede Redacteur
- Robert B. Jones
- Hoofduitgeverij
- Springer
Overige kenmerken
- Editie
- 2006 ed.
- Extra groot lettertype
- Nee
- Product breedte
- 155 mm
- Product lengte
- 235 mm
- Studieboek
- Ja
- Verpakking breedte
- 155 mm
- Verpakking hoogte
- 31 mm
- Verpakking lengte
- 235 mm
- Verpakkingsgewicht
- 1780 g
EAN
- EAN
- 9783540374060
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.