Code: 01561845

Model Checking Software

Name: Model Checking Software
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01561845
Price: 55.93 EUR
Availability: InStock
Author: Antti Valmari
ISBN: 9783540331025

by Antti Valmari

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

55.93 €

Low in stock at our supplier
Shipping in 11 - 15 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

The Charlie Method
13.47 € -24 %
Buy
Beginner's Guide to Chinese Brush Painting
10.02 € -24 %
Buy
Numerical Optimization
80.36 €
Buy
Young ELI Readers - English
8.40 €
Buy
Bonsai: The Art of Growing and Keeping Miniature Trees
12.76 € -24 %
Buy
Planner Story
0.80 € -33 %
Buy
Dark Psychology
13.06 € -2 %
Buy
Bicycle Panda (Designer Spielkarten, Poker, Skat...)
9.72 €
Buy
Thames & Hudson Dictionary of Ancient Egypt
16 € -22 %
Buy
XXX
7.79 €
Buy
Wages of Sin
13.77 € -19 %
Buy
Once Upon a Winter
11.24 € -2 %
Buy
Rupáner-konyha
14.58 € -14 %
Buy
LED ZEPPELIN
30.80 €
Buy
Vengeful - Die Rache ist mein
18.84 € -5 %
Buy
Surgery for Parkinson's Disease
57.96 €
Buy
Klick! Biologie, Physik, Chemie - Alle Bundesländer - Band 6
17.22 €
Buy
Kartouzský vězeň Mons. Jan Šrámek
8.60 € -16 %
Buy
Grossbuchstaben Geschichten 2
10.23 € -7 %
Buy
Nuclear Medicine
55.93 €
Buy
SPUREN - Die Opfer des NSU
18.94 €
Buy
Jean Lorrain, Narkiss Rééd. éd. du monument illustré par Guillonnet (1908)
18.33 €
Buy
Dancing with Sophia
47.52 €
Buy
Abraham l'Hebreu - Ministre de Dieu
22.69 € -6 %
Buy
Grundlagen des Usability-Engineering
16.21 € -10 %
Buy
Spanish Notebook
14.99 € -6 %
Buy
Riveted
19.25 € -18 %
Buy
Eroeffnungs-Manifest des ersten Dada-Abends in Zurich 1916 im Kontext der historischen Avantgarde und seiner subversiven Qualitaten
16.21 € -10 %
Buy
Advanced Dynamics and Control of Structures and Machines
109.54 €
Buy
Abgrenzung der Gewinnerzielungsabsicht von der steuerlichen Liebhaberei in der Forstwirtschaft
25.12 € -11 %
Buy
International Relations Theory
127.99 €
Buy
La Mort Comme Effet Secondaire
24.11 €
Buy
I Bedrövelsens Mörker/ Aus dem Dunkel der Trübsal
30.70 € -5 %
Buy
Ceramic and Stone Tiling - A Complete Guide
21.68 € -9 %
Pre-order
Programa de educación financeira
29.48 €
Buy
Handbook of Macroeconomics
147.45 €
Buy
Portrait Of Mary In Heaven, And The Virgin And Saints
18.43 € -1 %
Buy
New Advances on Disease Biomarkers and Molecular Targets in Biomedicine
197.31 €
Buy
Matrimonio y convivencia en pareja en el ámbito de la Unión Europea : hacia un nuevo modelo de matrimonio
39.92 €
Buy
Cadogan Guide Cairo, Luxor and Aswan
20.06 € -9 %
Buy
Forests in Revolutionary France
127.48 €
Buy
Thirteenth Bullet
7.39 € -9 %
Buy
Mit Vollgas Weiter
17.73 €
Buy
Corrales: Guia de Servicios
5.87 € -7 %
Buy
Ueber den Optischen Mittelpunkt im Menschlichen Auge.
15.70 € -29 %
Buy
Rationality and Dynamic Choice
120.79 €
Buy
Fundamentos teóricos y jurídicos de la ordenación del territorio
24.21 € -14 %
Buy
Celulas-Tronco
47.93 € -4 %
Buy
Improving Consensus Development for Health Technology Assessment
51.17 €
Buy
La televisión local en el País Vasco
14.68 €
Buy
Writing Indian Nations
43.67 €
Buy
Ben Jonson: Selected Masques
48.03 €
Buy
Schäden an polymeren Beschichtungen.
43.57 € -5 %
Buy
Decirte adiós con un te quiero
20.26 €
Buy
STEAM+ Intégration des Arts: Perspectives et Applications Pratiques
18.33 € -7 %
Buy
Jokes for Kids: Silly Joke Book for Kids Ages 5-12
6.37 € -7 %
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 13th International SPIN workshop on Model Checking Software, SPIN 2006, held in Vienna, Austria in March/April 2006 as satellite event of ETAPS 2006. The 16 revised full papers presented together with three tool presentation papers were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections.

Book details

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

55.93 €

Full title: Model Checking Software
Subtitle: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings
Author: Antti Valmari
Language: English
Binding: Paperback
Number of pages: 308
EAN: 9783540331025
ISBN: 3540331026
ID: 01561845
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 1010 g
Dimensions: 19 × 155 × 19 mm
Date of publishing: 15. March 2006