Computer Aided Verification 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings
Afbeeldingen
Artikel vergelijken
Auteur:
David L. Dill
- Engels
- Paperback
- 9783540581796
- 01 juni 1994
- 486 pagina's
Samenvatting
in total they document many of the most important advances achieved in CAV research and applications since the predecessor conference held in June 1993.
The volume is organized in sections on Real-Time Systems, CAV Theory, CAV Applications, Symbolic Verification, Hybrid Systems, Model Checking, Improving Efficiency, and Hardware Verification.
The volume is organized in sections on Real-Time Systems, CAV Theory, CAV Applications, Symbolic Verification, Hybrid Systems, Model Checking, Improving Efficiency, and Hardware Verification.
Productspecificaties
Wij vonden geen specificaties voor jouw zoekopdracht '{SEARCH}'.
Inhoud
- Taal
- en
- Bindwijze
- Paperback
- Oorspronkelijke releasedatum
- 01 juni 1994
- Aantal pagina's
- 486
- Illustraties
- Nee
Betrokkenen
- Hoofdauteur
- David L. Dill
- Hoofdredacteur
- David L. Dill
- Hoofduitgeverij
- Springer
Overige kenmerken
- Editie
- 1994 ed.
- Extra groot lettertype
- Nee
- Product breedte
- 155 mm
- Product lengte
- 235 mm
- Studieboek
- Ja
- Verpakking breedte
- 155 mm
- Verpakking hoogte
- 26 mm
- Verpakking lengte
- 235 mm
- Verpakkingsgewicht
- 1520 g
EAN
- EAN
- 9783540581796
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.