Code: 01560845

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01560845
Price: 102.97 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.97 €

RRP: 111.59 €

You save 8.63 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Demon from the Dark
8.59 € -24 %
Buy
Anglické MAXI křížovky a osmisměrovky / Anglické MAXI krížovky a osemsmerovky
4.44 € -27 %
Buy
Dior Fashion Unfolded Vol 02
18.30 € -27 %
Buy
Graded multiple-choice : English tests-C2
14.76 € -5 %
Buy
Clausewitz: A Very Short Introduction
10 € -24 %
Buy
Tibetan Terrier. Tibetan Terrier Dog Complete Owners Manual. Tibetan Terrier book for care, costs, feeding, grooming, health and training.
14.25 € -7 %
Buy
The Terror: The Merciless War for Freedom in Revolutionary France
23.76 € -24 %
Buy
Digital Nomads
12.13 € -2 %
Buy
Handbook of Essential Oils
362.13 €
Buy
Flyleaf Volume One: 2014
9.80 € -6 %
Buy
Airplantman
12.33 € -7 %
Buy
Max and Moritz
20.02 € -7 %
Buy
Ucoa: The Biker Experience
52.49 € -7 %
Buy
Submissive Training
14.86 € -7 %
Buy
R Programming: A Step-by-Step Guide for Absolute Beginners
13.24 € -6 %
Buy
Transient Chaos
102.97 € -7 %
Buy
Ridere, La Migliore Medicina Barzellette Per Tutti
7.88 € -2 %
Buy
Big Data
51.68 € -7 %
Buy
Business Basics International Edition: Teacher's Book
14.66 € -4 %
Buy
RIGBY PM PLUS
76.36 € -9 %
Buy
Anordnung zur Übertragung der Zuständigkeit für den Erlass von Widerspruchsbescheiden und der Vertretung bei Klagen von Beamten des Bundesinstituts fü
8.79 €
Buy
Gegenschlag
10.92 € -10 %
Buy
Journeys of Shattered Souls: : Absolution ?
13.85 € -7 %
Buy
Decisive Endgame
13.95 € -1 %
Buy
Contemporary Electroanalytical Chemistry
205.74 € -7 %
Buy
Visible Learning for Teachers
42.17 €
Pre-order
Die Septuaginta - Geschichte, Wirkung, Relevanz
404.82 €
Buy
Philosophy of Health, or, An Exposition of the Physical and Mental Constitution of Man
25.58 € -2 %
Buy
Balzac and the Model of Painting
145.15 €
Buy
Intellectual Capital in German Non-profit Organisations
102.97 € -7 %
Buy
Teorias implicitas acerca del curriculo en profesores de secundaria
57.85 € -14 %
Buy
The Claverings
15.57 € -7 %
Buy
Trouble de la personnalité borderline - Pratiques thérapeutiques
53 €
Buy
Per si un dia tornem
24.87 € -5 %
Buy
A History of the County of Dorset
97.91 €
Buy
LE SYSTÈME JURIDICTIONNEL
5.86 €
Buy
Golden Seed
14.86 € -2 %
Buy
Natural Theology
16.18 € -25 %
Buy
Rogues and Vagabonds
14.05 € -7 %
Buy
Sexual Mountain and Black Women Writers
12.43 € -18 %
Buy
Voyage au bout du monde
16.18 € -11 %
Buy
La Teolosis y la Mujer
10.61 € -7 %
Buy
Fragiler Pluralismus
35.90 € -6 %
Buy
Tryfan
24.67 € -9 %
Buy
The Fool Sings
15.77 € -1 %
Buy
The Medicine-Men of the Apache, Volume 9...
18.10 € -24 %
Buy
Imperialism and Postcolonialism
59.98 €
Buy
Our World 6: Grammar Workbook
14.35 € -5 %
Buy
Histoire des Associations familiales catholiques
26.49 €
Buy
Culture, Ethnicity, and Personal Relationship Processes
224.86 €
Buy
Promisi n
18.40 € -1 %
Buy
In the Unlikeliest of Places
20.32 € -24 %
Buy
Eenduisend-En-Een Grimmige Nagte
14.05 € -7 %
Buy
Auslandsinvestitionen Und Wahrungsrisiken
42.48 € -6 %
Buy
Les conditions de détention, condition de la détention
49.35 €
Buy
Illinois Deserves Better: The Ironclad Case for an Illinois Constitutional Convention
10.61 € -7 %
Buy
Joseph, a Dancing Bear
32.77 € -2 %
Buy
POESIE IN MUSICA
10.81 € -2 %
Buy
Koordinationstraining im Golf
31.05 €
Buy
Twochubbycubs Dinner Time
21.03 € -23 %
Buy
Small Business Accounting Tools
17.39 €
Buy
Evaluación de Proyectos de Inversión
35.70 € -34 %
Buy
Ausgewahlte Schriften des Lucian
20.52 € -11 %
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 Knihy po anglicky Computing & information technology Computer programming / software development Software Engineering

102.97 €

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