Code: 01560845

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01560845
Price: 102.67 EUR
Availability: InStock
Author: Kousha Etessami
ISBN: 9783540272311

by Kousha Etessami, Sriram K. Rajamani

Language: English
Binding: Paperback
Number of pages: 568
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005
More about this

102.67 €

RRP: 111.27 €

You save 8.60 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Graded multiple-choice : English tests-C2
14.72 € -5 %
Buy
Demon from the Dark
8.56 € -24 %
Buy
Dior Fashion Unfolded Vol 02
17.94 € -26 %
Buy
Tibetan Terrier. Tibetan Terrier Dog Complete Owners Manual. Tibetan Terrier book for care, costs, feeding, grooming, health and training.
14.21 € -7 %
Buy
The Terror: The Merciless War for Freedom in Revolutionary France
23.69 € -24 %
Buy
Digital Nomads
12.09 € -2 %
Buy
Handbook of Essential Oils
319.43 €
Buy
Ucoa: The Biker Experience
52.34 € -7 %
Buy
Max and Moritz
19.96 € -7 %
Buy
Submissive Training
14.82 € -7 %
Buy
Transient Chaos
102.67 € -7 %
Buy
R Programming: A Step-by-Step Guide for Absolute Beginners
13.20 € -6 %
Buy
Flyleaf Volume One: 2014
9.77 € -6 %
Buy
Teorias implicitas acerca del curriculo en profesores de secundaria
57.69 € -14 %
Buy
Visible Learning for Teachers
42.15 €
Pre-order
Business Basics International Edition: Teacher's Book
14.62 € -4 %
Buy
Anordnung zur Übertragung der Zuständigkeit für den Erlass von Widerspruchsbescheiden und der Vertretung bei Klagen von Beamten des Bundesinstituts fü
8.97 € -4 %
Buy
Golden Seed
14.82 € -2 %
Buy
Contemporary Electroanalytical Chemistry
205.15 € -7 %
Buy
Tryfan
24.60 € -9 %
Buy
Big Data
51.53 € -7 %
Buy
Trouble de la personnalité borderline - Pratiques thérapeutiques
53.15 €
Buy
Histoire des Associations familiales catholiques
26.82 €
Buy
Natural Theology
16.13 € -25 %
Buy
Sexual Mountain and Black Women Writers
12.40 € -18 %
Buy
Voyage au bout du monde
17.14 € -5 %
Buy
Ridere, La Migliore Medicina Barzellette Per Tutti
7.86 € -2 %
Buy
Decisive Endgame
13.91 € -1 %
Buy
Auslandsinvestitionen Und Wahrungsrisiken
42.35 € -6 %
Buy
The Claverings
15.52 € -7 %
Buy
Die Septuaginta - Geschichte, Wirkung, Relevanz
337.38 €
Buy
Joseph, a Dancing Bear
32.67 € -2 %
Buy
Philosophy of Health, or, An Exposition of the Physical and Mental Constitution of Man
25.51 € -2 %
Buy
Rogues and Vagabonds
14.01 € -7 %
Buy
Balzac and the Model of Painting
132.22 €
Buy
La Teolosis y la Mujer
10.58 € -7 %
Buy
The Medicine-Men of the Apache, Volume 9...
18.04 € -24 %
Buy
Topics in Geometry
110.14 €
Buy
A l'aube des heures fertiles
22.99 €
Buy
Fragiler Pluralismus
35.80 € -6 %
Buy
Our World 6: Grammar Workbook
14.31 € -5 %
Buy
Imperialism and Postcolonialism
56.78 €
Buy
Juan Sebastian Bach
14.51 €
Buy
Everyday English, Book 1: Language Lessons For Intermediate Grades (1902)
40.74 € -2 %
Buy
The Great Boer War
18.75 € -6 %
Buy
Koordinationstraining im Golf
31.26 €
Buy
Culture, Ethnicity, and Personal Relationship Processes
189.31 €
Buy
POESIE IN MUSICA
10.78 € -2 %
Buy
Promisi n
18.35 € -1 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 249 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the 17th International Conference on Computer Aided Verification, CAV 2005, held in Edinburgh, Scotland, UK in July 2005.§The 32 revised full papers presented together with 16 tool papers and 3 invited papers, as well as a report on a special tools competition were carefully reviewed and selected from 155 submissions. The papers cover all current issues in computer aided verification and model checking, ranging from foundational and methodological issues to the evaluation of major tools and systems.

Book details

Book category Books in English Computing & information technology Computer programming / software development Software Engineering

102.67 €

Full title: Computer Aided Verification
Subtitle: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
Author: Kousha Etessami, Sriram K. Rajamani
Language: English
Binding: Paperback
Number of pages: 568
EAN: 9783540272311
ISBN: 3540272313
ID: 01560845
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 1800 g
Dimensions: 235 × 155 × 32 mm
Date of publishing: 24. June 2005