Items related to Computer Aided Verification: 6th International Conference,...

Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings: 818 (Lecture Notes in Computer Science, 818) - Softcover

 
9783540581796: Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings: 818 (Lecture Notes in Computer Science, 818)

Synopsis

This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 included papers were selected in a highly competetive reviewing process from 121 submissions; 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.

"synopsis" may belong to another edition of this title.

Buy Used

Condition: Very Good
We are unable to ship to Canada...
View this item

£ 5.20 shipping within U.S.A.

Destination, rates & speeds

Other Popular Editions of the Same Title

9783662194027: Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings

Featured Edition

ISBN 10:  3662194023 ISBN 13:  9783662194027
Publisher: Springer, 2014
Softcover

Search results for Computer Aided Verification: 6th International Conference,...

Stock Image

Dill, David L. [Editor]
Published by Springer, 1994
ISBN 10: 3540581790 ISBN 13: 9783540581796
Used Paperback

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Seller Inventory # DA1411132

Contact seller

Buy Used

£ 22.81
Convert currency
Shipping: £ 5.20
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Dill, David L.
Published by Springer, 1994
ISBN 10: 3540581790 ISBN 13: 9783540581796
New Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 5905845-n

Contact seller

Buy New

£ 46.92
Convert currency
Shipping: £ 1.96
Within U.S.A.
Destination, rates & speeds

Quantity: 15 available

Add to basket

Stock Image

David L. Dill
ISBN 10: 3540581790 ISBN 13: 9783540581796
New Paperback

Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: new. Paperback. This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 included papers were selected in a highly competetive reviewing process from 121 submissions; 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783540581796

Contact seller

Buy New

£ 48.93
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 1994
ISBN 10: 3540581790 ISBN 13: 9783540581796
New Softcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Mar3113020171372

Contact seller

Buy New

£ 45.97
Convert currency
Shipping: £ 2.97
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Dill, David L.
Published by Springer, 1994
ISBN 10: 3540581790 ISBN 13: 9783540581796
Used Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: As New. Unread book in perfect condition. Seller Inventory # 5905845

Contact seller

Buy Used

£ 53.58
Convert currency
Shipping: £ 1.96
Within U.S.A.
Destination, rates & speeds

Quantity: 15 available

Add to basket

Stock Image

Published by Springer, 1994
ISBN 10: 3540581790 ISBN 13: 9783540581796
New Softcover

Seller: California Books, Miami, FL, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # I-9783540581796

Contact seller

Buy New

£ 56.69
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

D. Dill
Published by Springer, 1994
ISBN 10: 3540581790 ISBN 13: 9783540581796
Used 1

Seller: La bataille des livres, Pradinas, France

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Très bon. Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings | D. Dill | Springer, 1994. In-8° broché, 480p. Couverture propre. Dos solide. Intérieur frais sans soulignage ou annotation. Exemplaire de bibliothèque : petit code barre en pied de 1re de couv., cotation au dos, rares et discrets petits tampons à l'intérieur de l'ouvrage. Très bon état général [Ba36+]. Seller Inventory # F2-QLOX-UUS3

Contact seller

Buy Used

£ 13.44
Convert currency
Shipping: £ 44.38
From France to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 1994
ISBN 10: 3540581790 ISBN 13: 9783540581796
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783540581796_new

Contact seller

Buy New

£ 49.13
Convert currency
Shipping: £ 11.98
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Dill, David L.
Published by Springer 1994-06, 1994
ISBN 10: 3540581790 ISBN 13: 9783540581796
New PF

Seller: Chiron Media, Wallingford, United Kingdom

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

PF. Condition: New. Seller Inventory # 6666-IUK-9783540581796

Contact seller

Buy New

£ 47.92
Convert currency
Shipping: £ 15.49
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 10 available

Add to basket

Seller Image

David L. Dill
ISBN 10: 3540581790 ISBN 13: 9783540581796
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 included papers were selected in a highly competetive reviewing process from 121 submissions; 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. 496 pp. Englisch. Seller Inventory # 9783540581796

Contact seller

Buy New

£ 47.94
Convert currency
Shipping: £ 20.01
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

There are 4 more copies of this book

View all search results for this book