Von dem Buch Computer Aided Verification Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Probst, David K. (Herausgeber); Bochmann, Gregor von (Herausgeber): Computer Aided Verification Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings (ISBN: 9783540564966) Erstausgabe, in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
91%: G. Von Bochmann, Editor: D. K. Probst: Computer Aided Verification: Fourth International Workshop, Cav'92 Montreal, Canada, June 29-July 1, 1992 : Proceedings (Lecture Notes in Computer Science) (ISBN: 9780387564968) Springer, Deutschland, in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
Computer Aided Verification Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
14 Angebote vergleichen
| Preise | 2012 | 2013 | 2014 | 2015 | 2021 |
|---|---|---|---|---|---|
| Schnitt | € 65,66 | € 64,44 | € 81,56 | € 61,13 | € 73,91 |
| Nachfrage |
1
Symbolbild
Computer Aided Verification: Fourth International Workshop, Cav'92 Montreal, Canada, June 29-July 1, 1992 : Proceedings (Lecture Notes in Computer Science) (1992)
EN USISBN: 9780387564968 bzw. 0387564969, in Englisch, Springer-Verlag, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkostenfrei nach: USA.
Von Händler/Antiquariat, Better World Books.
Springer-Verlag. Used - Good. Former Library book. Shows some signs of wear, and may have some markings on the inside. 100% Money Back Guarantee. Shipped to over one million happy customers. Your purchase benefits world literacy!
Von Händler/Antiquariat, Better World Books.
Springer-Verlag. Used - Good. Former Library book. Shows some signs of wear, and may have some markings on the inside. 100% Money Back Guarantee. Shipped to over one million happy customers. Your purchase benefits world literacy!
2
Computer Aided Verification
DE PB NWISBN: 9783540564966 bzw. 3540564969, in Deutsch, Springer, Berlin, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
This volume gives the proceedings of the Fourth Workshop on Computer-Aided Verification (CAV '92), held in Montreal, June 29 - July 1, 1992. The objective of this series of workshops is to bring together researchers and practitioners interested in the development and use of methods, tools and theories for the computer-aided verification of concurrent systems. The workshops provide an opportunity for comparing various verification methods and practical tools that can be used to assist the applications designer. Emphasis is placed on new research results and the application of existing results to real verification problems.The volume contains 31 papers selected from 75 submissions.These are organized into parts on reduction techniques, proof checking, symbolic verification, timing verification, partial-order approaches, case studies, model and proof checking, and other approaches. The volume starts with an invited lecture by Leslie Lamport entitled "Computer-hindered verification (humans can do it too)".ix, 426 S. IX, 422 pp. 233 mmVersandfertig in 3-5 Tagen, Softcover.
buecher.de GmbH & Co. KG, [1].
This volume gives the proceedings of the Fourth Workshop on Computer-Aided Verification (CAV '92), held in Montreal, June 29 - July 1, 1992. The objective of this series of workshops is to bring together researchers and practitioners interested in the development and use of methods, tools and theories for the computer-aided verification of concurrent systems. The workshops provide an opportunity for comparing various verification methods and practical tools that can be used to assist the applications designer. Emphasis is placed on new research results and the application of existing results to real verification problems.The volume contains 31 papers selected from 75 submissions.These are organized into parts on reduction techniques, proof checking, symbolic verification, timing verification, partial-order approaches, case studies, model and proof checking, and other approaches. The volume starts with an invited lecture by Leslie Lamport entitled "Computer-hindered verification (humans can do it too)".ix, 426 S. IX, 422 pp. 233 mmVersandfertig in 3-5 Tagen, Softcover.
3
Computer Aided Verification: Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings: International Workshop, . 4th (Lecture Notes in Computer Science)
DE NWISBN: 9783540564966 bzw. 3540564969, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu.
Von Händler/Antiquariat, Chiron Media [55661942], Wallingford, United Kingdom.
Brand new book, sourced directly from publisher. Dispatch time is 24-48 hours from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.
Brand new book, sourced directly from publisher. Dispatch time is 24-48 hours from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.
4
Computer Aided Verification: Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
DEISBN: 9783540564966 bzw. 3540564969, in Deutsch, Springer.
Lieferung aus: Vereinigte Staaten von Amerika, Lagernd, zzgl. Versandkosten.
Computer Aided Verification: Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings Bochmann, Gregor Von / Probst, David K. This volume gives the proceedings of the Fourth Workshop on Computer-Aided Verification (CAV '92), held in Montreal, June 29 - July 1, 1992. The objective of this series of workshops is to bring together researchers and practitioners interested in the development and use of methods, tools and theories for the computer-aided verification of concurrent systems. The workshops provide an opportunity for comparing various verification methods and practical tools that can be used to assist the applications designer. Emphasis is placed on new research results and the application of existing results to real verification problems. The volume contains 31 papers selected from 75 submissions. These are organized into parts on reduction techniques, proof checking, symbolic verification, timing verification, partial-order approaches, case studies, model and proof checking, and other approaches. The volume starts with an invited lecture by Leslie Lamport entitled "Computer-hindered verification (humans can do it too).".
Computer Aided Verification: Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings Bochmann, Gregor Von / Probst, David K. This volume gives the proceedings of the Fourth Workshop on Computer-Aided Verification (CAV '92), held in Montreal, June 29 - July 1, 1992. The objective of this series of workshops is to bring together researchers and practitioners interested in the development and use of methods, tools and theories for the computer-aided verification of concurrent systems. The workshops provide an opportunity for comparing various verification methods and practical tools that can be used to assist the applications designer. Emphasis is placed on new research results and the application of existing results to real verification problems. The volume contains 31 papers selected from 75 submissions. These are organized into parts on reduction techniques, proof checking, symbolic verification, timing verification, partial-order approaches, case studies, model and proof checking, and other approaches. The volume starts with an invited lecture by Leslie Lamport entitled "Computer-hindered verification (humans can do it too).".
5
Computer Aided Verification (1992)
~EN PB NWISBN: 9783540564966 bzw. 3540564969, vermutlich in Englisch, Springer Shop, Taschenbuch, neu.
Lieferung aus: Deutschland, Lagernd.
This volume gives the proceedings of the Fourth Workshop on Computer-Aided Verification (CAV '92), held in Montreal, June 29 - July 1, 1992. The objective of this series of workshops is to bring together researchers and practitioners interested in the development and use of methods, tools and theories for the computer-aided verification of concurrent systems. The workshops provide an opportunity for comparing various verification methods and practical tools that can be used to assist the applications designer. Emphasis is placed on new research results and the application of existing results to real verification problems. The volume contains 31 papers selected from 75 submissions. These are organized into parts on reduction techniques, proof checking, symbolic verification, timing verification, partial-order approaches, case studies, model and proof checking, and other approaches. The volume starts with an invited lecture by Leslie Lamport entitled "Computer-hindered verification (humans can do it too)". Soft cover.
This volume gives the proceedings of the Fourth Workshop on Computer-Aided Verification (CAV '92), held in Montreal, June 29 - July 1, 1992. The objective of this series of workshops is to bring together researchers and practitioners interested in the development and use of methods, tools and theories for the computer-aided verification of concurrent systems. The workshops provide an opportunity for comparing various verification methods and practical tools that can be used to assist the applications designer. Emphasis is placed on new research results and the application of existing results to real verification problems. The volume contains 31 papers selected from 75 submissions. These are organized into parts on reduction techniques, proof checking, symbolic verification, timing verification, partial-order approaches, case studies, model and proof checking, and other approaches. The volume starts with an invited lecture by Leslie Lamport entitled "Computer-hindered verification (humans can do it too)". Soft cover.
6
Computer Aided Verification: Fourth International Workshop, Cav'92 Montreal, Canada, June 29-July 1, 1992 : Proceedings (Lecture Notes in Computer Science) (1994)
EN PB USISBN: 9780387564968 bzw. 0387564969, in Englisch, Springer-Verlag, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, Better World Books: Main.
This volume gives the proceedings of the Fourth Workshop on Computer-Aided Verification (CAV '92), held in Montreal, June 29 - July 1, 1992. The objective of this series of workshops is to bring together researchers and practitioners interested in the development and use of methods, tools and theories for the computer-aided verification of concurrent systems. The workshops provide an opportunity for comparing various verification methods and practical tools that can be used to assist the applications designer. Emphasis is placed on new research results and the application of existing results to real verification problems. The volume contains 31 papers selected from 75 submissions. These are organized into parts on reduction techniques, proof checking, symbolic verification, timing verification, partial-order approaches, case studies, model and proof checking, and other approaches. The volume starts with an invited lecture by Leslie Lamport entitled "Computer-hindered verification (humans can do it too)". Paperback, Label: Springer-Verlag, Springer-Verlag, Produktgruppe: Book, Publiziert: 1994-08, Studio: Springer-Verlag, Verkaufsrang: 17314931.
Von Händler/Antiquariat, Better World Books: Main.
This volume gives the proceedings of the Fourth Workshop on Computer-Aided Verification (CAV '92), held in Montreal, June 29 - July 1, 1992. The objective of this series of workshops is to bring together researchers and practitioners interested in the development and use of methods, tools and theories for the computer-aided verification of concurrent systems. The workshops provide an opportunity for comparing various verification methods and practical tools that can be used to assist the applications designer. Emphasis is placed on new research results and the application of existing results to real verification problems. The volume contains 31 papers selected from 75 submissions. These are organized into parts on reduction techniques, proof checking, symbolic verification, timing verification, partial-order approaches, case studies, model and proof checking, and other approaches. The volume starts with an invited lecture by Leslie Lamport entitled "Computer-hindered verification (humans can do it too)". Paperback, Label: Springer-Verlag, Springer-Verlag, Produktgruppe: Book, Publiziert: 1994-08, Studio: Springer-Verlag, Verkaufsrang: 17314931.
7
Symbolbild
Computer Aided Verification: Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings (Lecture Notes in Computer Science) (1993)
~EN PB USISBN: 9783540564966 bzw. 3540564969, vermutlich in Englisch, Springer, Taschenbuch, gebraucht, guter Zustand.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkosten nach: DEU.
Von Händler/Antiquariat, GuthrieBooks.
Springer, 1993-05-07. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Von Händler/Antiquariat, GuthrieBooks.
Springer, 1993-05-07. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
8
Symbolbild
Computer Aided Verification: Fourth International Workshop, Cav'92 Montreal, Canada, June 29-July 1, 1992 : Proceedings (Lecture Notes in Computer Science) (1994)
EN PB USISBN: 9780387564968 bzw. 0387564969, in Englisch, Springer-Verlag, Taschenbuch, gebraucht.
Von Händler/Antiquariat, Anybook Ltd. [312675], Lincoln, United Kingdom.
This book has soft covers.Ex-library,With usual stamps and markings,In good all round condition.
This book has soft covers.Ex-library,With usual stamps and markings,In good all round condition.
9
Computer Aided Verification (1993)
~EN PB NWISBN: 9783540564966 bzw. 3540564969, vermutlich in Englisch, 440 Seiten, Springer Berlin Heidelberg, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkosten nach: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, AHA-BUCH GmbH, [4009276].
Neuware - This volume gives the proceedings of the Fourth Workshop onComputer-Aided Verification (CAV '92), held in Montreal,June 29 - July 1, 1992. The objective of this series ofworkshops is to bring together researchers and practitionersinterested in the development and use of methods, tools andtheories for the computer-aided verification of concurrentsystems. The workshops provide an opportunity for comparingvarious verification methods and practical tools that can beused to assist the applications designer. Emphasis is placedon new research results and the application of existingresults to real verification problems.The volume contains 31 papers selected from 75 submissions.These are organized into parts on reduction techniques,proof checking, symbolic verification, timing verification,partial-order approaches, case studies, model and proofchecking, and other approaches. The volume starts with aninvited lecture by Leslie Lamport entitled'Computer-hindered verification (humans can do it too)'.- Besorgungstitel - vorauss. Lieferzeit 3-5 Tage. 30.03.1993, Taschenbuch, Neuware, 235x155x23 mm, 663g, 440, Internationaler Versand, PayPal, Kreditkarte, Offene Rechnung, Banküberweisung, Offene Rechnung (Vorkasse vorbehalten).
Von Händler/Antiquariat, AHA-BUCH GmbH, [4009276].
Neuware - This volume gives the proceedings of the Fourth Workshop onComputer-Aided Verification (CAV '92), held in Montreal,June 29 - July 1, 1992. The objective of this series ofworkshops is to bring together researchers and practitionersinterested in the development and use of methods, tools andtheories for the computer-aided verification of concurrentsystems. The workshops provide an opportunity for comparingvarious verification methods and practical tools that can beused to assist the applications designer. Emphasis is placedon new research results and the application of existingresults to real verification problems.The volume contains 31 papers selected from 75 submissions.These are organized into parts on reduction techniques,proof checking, symbolic verification, timing verification,partial-order approaches, case studies, model and proofchecking, and other approaches. The volume starts with aninvited lecture by Leslie Lamport entitled'Computer-hindered verification (humans can do it too)'.- Besorgungstitel - vorauss. Lieferzeit 3-5 Tage. 30.03.1993, Taschenbuch, Neuware, 235x155x23 mm, 663g, 440, Internationaler Versand, PayPal, Kreditkarte, Offene Rechnung, Banküberweisung, Offene Rechnung (Vorkasse vorbehalten).
10
Computer Aided Verification (1993)
~EN PB NW FE RPISBN: 9783540564966 bzw. 3540564969, vermutlich in Englisch, 426 Seiten, Springer Berlin Heidelberg, Taschenbuch, neu, Erstausgabe, Nachdruck.
Lieferung aus: Deutschland, Versandkosten nach: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, Moluna GmbH, [5901482].
Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume gives the proceedings of the Fourth Workshop onComputer-Aided Verification (CAV 92), held in Montreal,June 29 - July 1, 1992. The objective, 1993, Kartoniert / Broschiert, Neuware, Softcover, 1370g, 1. Auflage, 426, Banküberweisung, PayPal.
Von Händler/Antiquariat, Moluna GmbH, [5901482].
Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume gives the proceedings of the Fourth Workshop onComputer-Aided Verification (CAV 92), held in Montreal,June 29 - July 1, 1992. The objective, 1993, Kartoniert / Broschiert, Neuware, Softcover, 1370g, 1. Auflage, 426, Banküberweisung, PayPal.
Lade…