9783540439974 - computer aided verification: 14th international conference, cav 2002 copenhagen, denmark, july 27-31, 2002 proceedings (lecture notes in computer science, 2404, band 2404) von larsen, kim g.; brinksma, ed (10 Ergebnisse)
- Softcover
Anbieter: Austin Goodwill 1101, Austin, TX, USAAustin Goodwill 1101
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 38,51
EUR 2,85 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: good. Book shows general signs of use and handling. May have light wear on the cover or edges and minimal writing or highlighting. Binding remains tight, and pages are clean and readable.
- Softcover
Anbieter: Versandbuchhandlung Kisch & Co., Fürstenberg OT Blumenow, DeutschlandVersandbuchhandlung Kisch & Co.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 2,24
EUR 45,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Gebraucht - Sehr gut Restauflage; ungelesen, sehr guter Zustand; Rechnung mit MwSt.; unused/unread, very good condition; -This book constitutes the refereed proceedings of the 14th International Conference on Computer Aided Verification, CAV 2002, held in Copenhagen, Denmark in July 2002. The 35 revise…d full papers presented together with five invited contributions and 11 tool presentations were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections in symbolic model checking, abstraction/refinement and model checking, compositional/structural verification, timing analysis, SAT based methods, infinite state model checking, extended model checking, code verification, regular model checking and acceleration, and model reduction. 656 pp. Englisch.
- Softcover
Anbieter: Che & Chandler Versandbuchhandlung, Fürstenberg OT Blumenow, DeutschlandChe & Chandler Versandbuchhandlung
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 2,99
EUR 45,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Gebraucht - Sehr gut Restauflage; ungelesen, sehr guter Zustand; Rechnung mit MwSt.; unused/unread, very good condition; -This book constitutes the refereed proceedings of the 14th International Conference on Computer Aided Verification, CAV 2002, held in Copenhagen, Denmark in July 2002. The 35 revise…d full papers presented together with five invited contributions and 11 tool presentations were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections in symbolic model checking, abstraction/refinement and model checking, compositional/structural verification, timing analysis, SAT based methods, infinite state model checking, extended model checking, code verification, regular model checking and acceleration, and model reduction. 656 pp. Englisch.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 116,13
EUR 13,94 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 106,99
EUR 64,89 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the conference on Computer Aided V- i cation (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. CAV 2002 was the 14th in a series of conferences dedicated to the advancement of the theory and practice… of computer-assisted formal analysis methods for software and hardware systems. The conference covers the spectrum from theoretical - sults to concrete applications, with an emphasis on practical veri cation tools, including algorithms and techniques needed for their implementation. The c- ference has traditionally drawn contributions from researchers as well as prac- tioners in both academia and industry. This year we received 94 regular paper submissions out of which 35 were selected. Each submission received an average of 4 referee reviews. In addition, the CAV program contained 11 tool presentations selected from 16 submissions. For each tool presentation, a demo was given at the conference. The large number of tool submissions and presentations testi es to the liveliness of the eld and its applied avor.
- Softcover
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes KönigreichMispah books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Wie neu
EUR 185,80
EUR 29,09 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Softcover
- Print-on-Demand
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 92,27
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. CAV 2002 was the 14th in a series of conferences dedicated to the advance…ment of the theory and practice of com.
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 123,04
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the conference on Computer Aided V- i cation (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. CAV 2002 was the 14th in a series of conferences dedicated to the advancement of the the…ory and practice of computer-assisted formal analysis methods for software and hardware systems. The conference covers the spectrum from theoretical - sults to concrete applications, with an emphasis on practical veri cation tools, including algorithms and techniques needed for their implementation. The c- ference has traditionally drawn contributions from researchers as well as prac- tioners in both academia and industry. This year we received 94 regular paper submissions out of which 35 were selected. Each submission received an average of 4 referee reviews. In addition, the CAV program contained 11 tool presentations selected from 16 submissions. For each tool presentation, a demo was given at the conference. The large number of tool submissions and presentations testi es to the liveliness of the eld and its applied avor. 656 pp. Englisch.
Weitere Bilder- Softcover
- Print-on-Demand
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 95,70
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Computer Aided Verification | 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings | Ed Brinksma (u. a.) | Taschenbuch | x | Englisch | 2002 | Springer | EAN 9783540439974 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg…, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
- Softcover
- Print-on-Demand
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschlandbuchversandmimpf2000
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 106,99
EUR 60,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains the proceedings of the conference on Computer Aided V- i cation (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. CAV 2002 was the 14th in a series of conferences dedicated to the advancement of the theory…and practice of computer-assisted formal analysis methods for software and hardware systems. The conference covers the spectrum from theoretical - sults to concrete applications, with an emphasis on practical veri cation tools, including algorithms and techniques needed for their implementation. The c- ference has traditionally drawn contributions from researchers as well as prac- tioners in both academia and industry. This year we received 94 regular paper submissions out of which 35 were selected. Each submission received an average of 4 referee reviews. In addition, the CAV program contained 11 tool presentations selected from 16 submissions. For each tool presentation, a demo was given at the conference. The large number of tool submissions and presentations testi es to the liveliness of the eld and its applied avor.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 656 pp. Englisch.
