Code: 01559203

Model Checking Software

Name: Model Checking Software
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01559203
Price: 55.65 EUR
Availability: InStock
Author: Susanne Graf
ISBN: 9783540213147

by Susanne Graf, Laurent Mounier

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

55.65 €

Low in stock at our supplier
Shipping in 13 - 18 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

Psychológia ako zbraň
11.30 € -29 %
Buy
The Power of the Pussy
14.03 € -7 %
Buy
My First 100 Technology Words
5.75 € -26 %
Buy
First Steps: Caro-Kann Defence
23.73 € -2 %
Buy
Kitchen Secrets
21.91 € -24 %
Pre-order
Curiosidades en verso. El cuerpo humano
13.02 € -10 %
Buy
Świat. Historia rodzinna (tom 2)
25.24 € -15 %
Buy
Thomas Merton and Thich Nhat Hanh
47.97 € -12 %
Buy
Ice Microdynamics
87.57 €
Buy
Advent Encounter
19.28 € -2 %
Buy
A Time to Laugh [With Bag]
14.33 € -9 %
Buy
Mobile Communications Handbook
121.30 €
Buy
TERRA Erdkunde 3. Ausgabe Niedersachsen Gymnasium
36.35 €
Buy
Eurythmics
20.19 € -22 %
Buy
Borderline - Tijuana Connection, 1 DVD
13.73 €
Buy
Methods for Plant Nucleus and Chromatin Studies
231.10 € -9 %
Buy
Navigating
17.46 € -2 %
Buy
Gonzalva of Cordova; Or, Grenada Reconquered. Now First Translated from the French of M. Florian. in Three Volumes. ... Volume 2 of 3
19.38 € -25 %
Buy
A History of Westbury, Long Island
23.73 € -24 %
Buy
La semilla del futuro : la agricultura explicada a los ciudadanos
22.31 € -9 %
Buy
Digital News and HIV Criminalization
23.32 € -5 %
Buy
Prayers for the Christian Year
23.22 €
Buy
Forced Saving
43.53 €
Buy
Multicriteria Analysis for Land-Use Management
205.45 € -7 %
Buy
Spin-Off der Mercedes-Benz Lenkungssparte
42.72 € -11 %
Buy
Correspondance Du Comte de la Forest, Ambassadeur de France En Espagne, 1808-1813. T7
24.03 €
Buy
Obituary
25.04 €
Buy
Columbo - Ein Hund fur alle "Felle"
8.98 € -15 %
Buy
Oeuvres Completes de Guy de Maupassant. Tome 13 Bel-Ami
34.33 €
Buy
Personal Decision in the Public Square
233.22 €
Buy
?Quién es mi bebé?
18.98 €
Buy
Eugenics and Other Evils
16.45 € -18 %
Buy
Theory of Cryptography
51.61 € -7 %
Buy
Adult Education in Great Britain, Norway & Spain
17.97 € -9 %
Buy
Knoedelschorsch seine Leckerchen
9.89 € -10 %
Buy
Mathematical Modeling in Chemical Engineering
75.04 €
Buy
METODO LENGUAJE MUSICAL 3 DICTADOS
10.39 €
Buy
ALTERNATIVAS DE FINANCIACION PARA EMPRESAS DE REDUCIDA DIMEN
69.49 €
Pre-order
Can You Stand to Be Blessed
19.28 € -2 %
Buy
After the World Ended
14.03 € -7 %
Buy
Les Fragments Heroiques, Ballet Compose Des Actes d'Ovide Et Julie
13.53 € -10 %
Buy
Skim, Dive, Surface
23.83 € -1 %
Buy
Right Weigh
12.31 € -18 %
Buy
Opfer als Tater. Wechselbeziehungen zwischen Opfern und Tatern in La muerte y la doncella
14.43 € -10 %
Buy
Rafaela McKensey
7.77 €
Buy
Frontiers in Algorithms
57.16 €
Buy
Gate Keeper
21.40 € -18 %
Buy
Late Modernity and Social Change
233.22 €
Buy
Morality and Action
113.73 €
Buy
Adobe Creative Suite All-in-One Desk Reference For Dummies
29.89 € -25 %
Buy
7 Mindsets to Master Self-Awareness
15.55 €
Buy
Classic Operating Systems
102.82 € -7 %
Buy
Governing Uncertainty
70.80 €
Buy
Interventional Oncology
197.26 € -14 %
Buy
A to Z of Critical Thinking
114.64 €
Buy
Königsblut
7.87 €
Buy
Computational Methods for Electron-Molecule Collisions
154.13 € -7 %
Buy
Memoirs of the Courts and Cabinets of George the Third from the Original Family Documents, Volume 1
16.15 € -14 %
Buy
From Divergent Power Series to Analytic Functions
31.20 €
Buy
Inspired Life
12.31 €
Buy
Gateway Of Thoughts
9.89 € -7 %
Buy
Genes and DNA
42.72 €
Buy
Unterhaltsrecht
78.88 €
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 135 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April 2004.The 19 revised full papers presented together with the abstracts of an invited talk and 2 tutorials were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on heuristics and probabilities, improvements of SPIN, validation of timed systems, tool presentations, abstraction and symbolic methods, and applications.

Book details

Book category Knihy po anglicky Computing & information technology Computer programming / software development Software Engineering

55.65 €

Full title: Model Checking Software
Subtitle: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
Author: Susanne Graf, Laurent Mounier
Language: English
Binding: Paperback
Number of pages: 314
EAN: 9783540213147
ISBN: 3540213147
ID: 01559203
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 493 g
Dimensions: 235 × 155 × 18 mm
Date of publishing: 18. March 2004