Code: 01561845

Model Checking Software

Name: Model Checking Software
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01561845
Price: 61.55 EUR
Availability: InStock

by Antti Valmari

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

61.55 €

Low in stock at our supplier
Shipping in 10 - 14 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

Handbuch Der Waffenkunde
87.73 € -2 %
Buy
Grundlagen des Usability-Engineering
42.65 € -1 %
Buy
Grossbuchstaben Geschichten 2
7.07 €
Buy
Advanced Dynamics and Control of Structures and Machines
121.39 €
Buy
Eroeffnungs-Manifest des ersten Dada-Abends in Zurich 1916 im Kontext der historischen Avantgarde und seiner subversiven Qualitaten
37.89 € -1 %
Buy
Schäden an polymeren Beschichtungen.
43.55 € -5 %
Buy
Ueber den Optischen Mittelpunkt im Menschlichen Auge.
16.06 € -19 %
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 154 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

61.55 €

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