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

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer, Berlin
SKU: 05274969
Price: 51.75 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.75 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Neurodermitis bewältigen Ulrich Stangier

Paperback

51.95 €

Herbst David Moody

Paperback

15.18 €

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

Paperback

26.83 €

Conférences sur le rideau de Mme Caudle Douglas Jerrold

Paperback

16.80 €

No me llames loca Girona

MP3

11.13 €

Byłam kochanką arabskich szejków Laila Shukri

Paperback

9.81 €

Uglavnom su me voljele starije gospođe Aleksandar Stanković

Hardback

14.17 €

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

Hardback

31.39 €

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

Hardback

31.39 €

Diccionario de la lengua española

Paperback

10.32 €

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

binding.

177.03 €

Aycha ou Le retour d'Elle - roman Haggard Book

Paperback

24.70 €

Schottische Hochlandrinder bei de Bollekammer (Puzzle) Elke Krone

Game

45.16 €

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

Paperback

31.49 €

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

Paperback

35.34 €

Un nuevo comienzo Joel Osteen

Paperback

17.21 €

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

Paperback

26.02 €

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

Sheet

10.02 €

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.