Code: 01661641

Model Checking Software

Name: Model Checking Software
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01661641
Price: 47.49 EUR
Availability: InStock
Author: Alastair Donaldson
ISBN: 9783642317583

by Alastair Donaldson, David Parker

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

47.49 €

RRP: 51.46 €

You save 3.96 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Cracked
13.94 € -24 %
Buy
Last Generation of the Roman Republic
46.99 €
Buy
Music and Technology: A Very Short Introduction
10 € -24 %
Buy
Hidden Dungeon Only I Can Enter (Manga) Vol. 1
10 € -24 %
Buy
Veselý vlak - Nálepky do vane
10.30 € -24 %
Buy
Ganz normale Bürger
20.41 €
Buy
International Climate Change Law
90.55 €
Buy
Sanctuary of Demeter and Kore
172.52 €
Buy
Neue Erde Botschaften Von Erzengel Gabriel
13.53 € -10 %
Buy
Anti-Zionism on Campus
42.64 € -2 %
Buy
Fundamentals of Deformation and Fracture
178.18 €
Buy
A treatise on the improvement of canal navigation; ... Illustrated with seventeen plates. By R. Fulton, ...
17.37 € -25 %
Buy
Classification and Cognition
71.25 €
Buy
Krabben
8.58 € -14 %
Buy
Miss Pardoe's Complete Works
43.55 € -1 %
Buy
Begegnung Mit Der Vergangenheit
111.47 €
Buy
Everything we do is music
32.54 €
Buy
Bedeutung der Grundrechte fur das Bildungssystem in der Bundesrepublik Deutschland
16.16 € -10 %
Buy
Poetical Works of John Dryden. with Life and Critical Dissertation [By George Gilfillan]. the Text Edited by Charles Cowden Clarke.
23.54 € -25 %
Buy
Trapped Under the Sea
17.68 € -17 %
Buy
Why America's Public Schools Are the Best Place for Kids
111.47 €
Buy
Methane and its Derivatives
526.48 €
Buy
FAUNO
20.20 € -2 %
Buy
Newsmakers
224.37 €
Buy
Magnetic Micro and Nanorobot Swarms: From Fundamentals to Applications
143.92 € -7 %
Buy
Integration Through Foreign Direct Investment
166.66 €
Buy
Oeuvres Completes de Diderot: Revues Sur Les Ed. Originales. T 19 (Ed.1875-1877)
30.51 €
Buy
Esther's Tooth: Judge Ortega investigates
14.04 € -7 %
Buy
Polnische Ostseeküste
14.44 € -15 %
Buy
Livre de Guillaume Le Maire (Ed.1874)
25.36 €
Buy
Dictionnaire généalogique des habitants de Saint-Just (Cher)
111.47 €
Buy
Stories from Mother's Note Book
30.01 € -2 %
Buy
Cuerpo de Auxilio Judicial de la Administración de Justicia. Temario Volumen 2
44.26 €
Buy
The Bible by Jesus: A Modern Paraphrase by Elmer L. Towns
22.83 € -9 %
Buy
Auswirkung der Zensurengebung auf die Lernmotivation
33.95 € -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 115 loyalty points

Book synopsis

This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.

Book details

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

47.49 €

Full title: Model Checking Software
Subtitle: 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings
Author: Alastair Donaldson, David Parker
Language: English
Binding: Paperback
Number of pages: 261
EAN: 9783642317583
ISBN: 3642317588
ID: 01661641
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 421 g
Dimensions: 235 × 155 × 15 mm
Date of publishing: 25. July 2012