Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

Free delivery for orders over 69.99 euro.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

Free delivery for orders over 69.99 euro.

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer, Berlin
SKU: 05274969
Price: 51.68 EUR
Availability: InStock
Author: Nicolas Halbwachs
ISBN: 9783540662020

11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings

Nicolas Halbwachs

Doron Peled

Language

English

Book Paperback

Libristo code: 05274969

Publishers Springer, Berlin, November 1998

This book constitutes the refereed proceedings of the 11th International Conference on Computer Aide... Full description

Libristo code: 05274969

125 b

51.68 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Neurodermitis bewältigen Ulrich Stangier

Paperback

51.88 €

Un nuevo comienzo Joel Osteen

Paperback

17.19 €

Byłam kochanką arabskich szejków Laila Shukri

Paperback

9.20 €

Conférences sur le rideau de Mme Caudle Douglas Jerrold

Paperback

16.78 €

No me llames loca Girona

MP3

11.32 €

MEGA MALBUCH - 300 SEITEN MIT TOLLEN MOTIVEN - SUPER EINFACH ZEICHNEN LERNEN UND ÜBEN - MIT EINIGEN FARBVORLAGEN Gabriele André

Paperback

26.80 €

Necesidades energéticas y propuestas de instalaciones solares Bernabé Jiménez Padilla

Paperback

31.96 €

La obra gruesa : unos apuntes de construcción Mañá Reixach

Paperback

28.62 €

Herbst David Moody

Paperback

15.16 €

Uglavnom su me voljele starije gospođe Aleksandar Stanković

Hardback

14.15 €

Физико-химические основы развития и тушения пожаров. Учебное пособие Владимир Адамян

Hardback

31.35 €

Столетняя война Э. Перруа

Hardback

31.35 €

Diccionario de la lengua española

Paperback

9.20 €

SOUL BOSSANOVA CONCERT BAND/HARMONIE -PARTITION+PARTIES SEPAREES QUINCY JONES Book

binding.

176.71 €

Aycha ou Le retour d'Elle - roman Haggard Book

Paperback

24.57 €

Camden Town - Allgemeine Ausgabe 2012 für Gymnasien. Bd.3

Sheet

10.00 €

Schottische Hochlandrinder bei de Bollekammer (Puzzle) Elke Krone

Game

45.11 €

Compraventa y La Permuta Agrarias y Rusticas David Bernardo López Lluch

Paperback

25.99 €

This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99.The 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also included are six invited contributions and five tool presentations. The book is organized in topical sections on processor verification, protocol verification and testing, infinite state spaces, theory of verification, linear temporal logic, modeling of systems, symbolic model checking, theorem proving, automata-theoretic methods, and abstraction.