Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Model Checking Software

13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings

Language EnglishEnglish
Book Paperback
Book Model Checking Software Antti Valmari
Libristo code: 01561845
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, March 2006
This book constitutes the refereed proceedings of the 13th International SPIN workshop on Model Chec... Full description
? points 145 b
21 311 Ft
Low in stock at our supplier Shipping in 13-18 days

30-day return policy

Customers also purchased

Jean Lorrain, Narkiss Rééd. éd. du monument illustré par Guillonnet (1908) Lorrain / Book Paperback
common.buy 6 508 Ft
Mit Vollgas Weiter Die Jungen Klostertaler / Audio Audio CD
common.buy 6 757 Ft
Rupáner-konyha Rupáner-Gallé Margó / Book Hardback
common.buy 5 685 Ft
Kartouzský vězeň Mons. Jan Šrámek Virginie Marie Turzová / Book binding.
common.buy 3 180 Ft
Abgrenzung der Gewinnerzielungsabsicht von der steuerlichen Liebhaberei in der Forstwirtschaft / Book Paperback
common.buy 9 715 Ft
Fundamentos teóricos y jurídicos de la ordenación del territorio / Book Paperback
common.buy 9 364 Ft
Ueber den Optischen Mittelpunkt im Menschlichen Auge. Jakob Friedrich Fries / Book Paperback
common.buy 6 318 Ft
XXX xxx / Book Paperback
common.buy 2 768 Ft
Klick! Biologie, Physik, Chemie - Alle Bundesländer - Band 6 Catrin Nossek / Book Sheet
common.buy 5 717 Ft
Scriptores rerum Prussicarum. Die Geschichtsquellen der Preussischen Vorzeit bis zum Untergange der Ordensherrschaft. Herausgegeben von T. Hirsch, M. Udo Arnold / Book Paperback
common.buy 13 893 Ft
Eroeffnungs-Manifest des ersten Dada-Abends in Zurich 1916 im Kontext der historischen Avantgarde und seiner subversiven Qualitaten Florian Höh / Book Paperback
common.buy 6 272 Ft
Planner Story Pavel Kosatík / Book Hardback
common.buy 351 Ft
Celulas-Tronco Capuano Vanessa Capuano / Book Paperback
common.buy 16 241 Ft
Corrales: Guia de Servicios Diego Molina Ruiz / Book Paperback
common.buy 2 376 Ft
La Mort Comme Effet Secondaire Shua / Book Paperback
common.buy 8 546 Ft
Grundlagen des Usability-Engineering Marcel Thum / Book Paperback
common.buy 6 272 Ft
SPUREN - Die Opfer des NSU / Video DVD
common.buy 7 242 Ft
STEAM+ Intégration des Arts: Perspectives et Applications Pratiques Jacqueline Cofield / Book Paperback
common.buy 7 418 Ft
Decirte adiós con un te quiero SILVIA CARPALLO / Book Paperback
common.buy 7 182 Ft
LED ZEPPELIN MICK WALL / Book Paperback
common.buy 10 875 Ft
Abraham l'Hebreu - Ministre de Dieu David Daniel Agou / Book Paperback
common.buy 9 147 Ft
Schäden an polymeren Beschichtungen. Robert Engelfried / Book Hardback
common.buy 15 432 Ft
Vengeful - Die Rache ist mein V. E. Schwab / Book Paperback
common.buy 6 096 Ft
Grossbuchstaben Geschichten 2 Sara Quast / Book Paperback
common.buy 2 168 Ft

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Model Checking Software
Author Antti Valmari
Language English
Binding Book - Paperback
Date of issue 2006
Number of pages 308
EAN 9783540331025
ISBN 3540331026
Libristo code 01561845
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1010
Dimensions 155 x 19 x 19

Categories

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Thirteenth Bullet Cotton Smith / Book Paperback
common.buy 2 842 Ft
Riveted Meljean Brook / Book Paperback
common.buy 7 899 Ft
Cadogan Guide Cairo, Luxor and Aswan Michael Haag / Book Paperback
common.buy 7 723 Ft
Bonsai: The Art of Growing and Keeping Miniature Trees Peter Chan / Book Paperback
common.buy 5 292 Ft
Nuclear Medicine Dibya Prakash / Book Paperback
common.buy 19 509 Ft
International Relations Theory Michael Haas / Book Hardback
common.buy 47 559 Ft
Spanish Notebook Christopher Buckley / Book Paperback
common.buy 6 036 Ft
Wages of Sin Kaite Welsh / Book Paperback
common.buy 4 941 Ft
Bible Study Guide -- Stand Strong; Building Your Life on God's Promises: Good Questions Have Small Groups Talking Josh Hunt / Book Paperback
common.buy 3 956 Ft
Handbook of Macroeconomics J B Taylor / Book Hardback
common.buy 54 566 Ft
Picasso Anna Coliva / Book Hardback
common.buy 18 598 Ft
Jokes for Kids: Silly Joke Book for Kids Ages 5-12 Playhouse Publishing / Book Paperback
common.buy 2 579 Ft
Dancing with Sophia Brian Schroeder / Book Paperback
common.buy 17 660 Ft
Beginner's Guide to Chinese Brush Painting Susan Self / Book Hardback
common.buy 4 146 Ft
Once Upon a Winter Tennant Tilly Tennant / Book Paperback
common.buy 4 502 Ft
Alphabet, Words and Numbers Tracing: Handwriting Practice Workbook for kids and toddlers, Preschool writing Workbook with Sight words and Numbers for Mb Education / Book Paperback
common.buy 2 903 Ft
Women, Stress, and Heart Disease Kristina Orth-Gomer / E-book Adobe ePub DRM
common.buy 27 787 Ft
Young ELI Readers - English Jane Cadwallader / Book Paperback
common.buy 2 963 Ft
Dark Psychology Sushmita Dutta / Book Paperback
common.buy 5 232 Ft
Top
The Charlie Method Elle Kennedy / Book Paperback
common.buy 5 583 Ft
Surgery for Parkinson's Disease Robert R. Goodman / Book Hardback
common.buy 19 509 Ft
New Advances on Disease Biomarkers and Molecular Targets in Biomedicine Nikki P. Lee / Book Hardback
common.buy 69 924 Ft
Advanced Dynamics and Control of Structures and Machines Hans Irschik / Book Paperback
common.buy 39 688 Ft
Writing Indian Nations Konkle / Book Paperback
common.buy 17 337 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account