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 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Model Checking Software

17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

Language EnglishEnglish
Book Paperback
Book Model Checking Software Jaco C. van de Pol
Libristo code: 01656755
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 2010
This book constitutes the refereed proceedings of the 17th International§SPIN workshop on Model Chec... Full description
? points 146 b
59.90 €
117.16  лв
In stock at our supplier Shipping in 9-13 days

Up to 30 days for returns

Customers also purchased

Star Wars Hidden Empire T02 / Book Paperback
common.buy 21.23 € 41.53 лв
Las Grandes Batallas Navales 10. La Hougue JEAN-YVES DELITTE / Book Paperback
common.buy 21.28 € 41.63 лв
Odnaleziony Coben Harlan / Book Paperback
common.buy 10.54 € 20.61 лв
La forge monastique, discrétion et rigueur Elie / Book Paperback
common.buy 8.84 € 17.29 лв
Coming soon
JANE GOODALL / Book Hardback
common.buy 30.23 € 59.13 лв
Fame and Fortune TM Smith / E-book Adobe ePub DRM
common.buy 5.76 € 11.26 лв
PUZZLE 1000 Witraż Zwierzęta 10957 / Game/Toy Jigsaw puzzle
common.buy 8.89 € 17.39 лв
Uzniki Razuma Tat'yana Volkova / Book Paperback
common.buy 55.22 € 108.01 лв
Be Kind (Nepali-English) Livia Lemgruber / Book Paperback
common.buy 17.32 € 33.88 лв
El estado de las gastronomías González de Heredia Garaygordobil / Book Paperback
common.buy 28.18 € 55.11 лв
Shame - 368000 km pour découvrir... mon histoire volée par MK2 production Wild / Book Paperback
common.buy 17.79 € 34.79 лв
Le cahier de Catherine - Petits carreaux, 96p, A5 - Petits c urs / Calendar/Diary Diary
common.buy 9.92 € 19.40 лв
Den Libanon lieben lernen Laura Ziegler / Book Paperback
common.buy 7.76 € 15.18 лв
Muerte en la vicaría Agatha Christie / Audio Audio CD
common.buy 10.28 € 20.11 лв
Sofiin svět Jostein Gaarder / Audio Audio CD
common.buy 13.37 € 26.14 лв
Diamante Nero Victoria Quinn / Book Paperback
common.buy 16.04 € 31.37 лв
Die besten Aufstriche selbst gemacht Charly Till / Book Paperback
common.buy 9.10 € 17.79 лв
Textanfänge Ulrike Krieg-Holz / Book Paperback
common.buy 49.36 € 96.54 лв
Amour Et Bergerie, Comedie En 1 Acte, En Vers Jules Barbier / Book Paperback
common.buy 13.26 € 25.94 лв
Raketa Hravá kniha pro děti collegium / Book Paperback
common.buy 12.08 € 23.63 лв
Nach dem bewaffneten Kampf Angelika Holderberg / Book Paperback
common.buy 10.07 € 19.70 лв
Kvalita software Petr Roudenský / Book Paperback
common.buy 8.69 € 16.99 лв

This book constitutes the refereed proceedings of the 17th International§SPIN workshop on Model Checking Software, SPIN 2010, held at the§University of Twente, in Enschede, The Netherlands, in September 2010.§The 13 revised full papers presented together with 2 tool papers and 3§invited talks were carefully reviewed and selected from 33 submissions.§The papers are organized in topical sections on satisfiability modulo§theories for model checking, model checking in context (simulation,§testing, UML), implementation and performance of model checking, LTL and Büchi automata, extensions to infinite-state systems, and concurrent§software.

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 Jaco C. van de Pol, Michael Weber
Language English
Binding Book - Paperback
Date of issue 2010
Number of pages 263
EAN 9783642161636
ISBN 3642161634
Libristo code 01656755
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 421
Dimensions 159 x 235 x 18

Categories

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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 > Mathematical theory of computation
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

Dynamic Stochastic Optimization K. Marti / Book Paperback
common.buy 107.93 € 211.10 лв
Artificial Intelligence Applications and Innovations Lazaros S. Iliadis / Book Paperback
common.buy 107.93 € 211.10 лв
Anahid Played Soorp: The Finding of Aran Pirian Mark Kadian / Book Paperback
common.buy 14.91 € 29.16 лв
Fabianism and Fabianist Morals in G.B. Shaw's Widowers Houses, Arms and the Man and The Devil's Disciple Nicholas Williams / Book Paperback
common.buy 15.17 € 29.66 лв
38 DIVISION 114 Infantry Brigade Welsh Regiment 10th, 13t, 14th and 15th Battalion, Brigade Machine Gun Company and Brigade Trench Mortar Battery Wo95/2559 / Book Paperback
common.buy 107.57 € 210.40 лв
Olmecs: A Captivating Guide to the Earliest Known Major Ancient Civilization in Mexico Captivating History / Book Paperback
common.buy 13.73 € 26.84 лв
Puppy Dance Party! (Paw Patrol) Hollis James / Book Paperback
common.buy 6.47 € 12.66 лв
Paxton Letter Tracing for Kids Trace my Name Workbook: Tracing Books for Kids ages 3 - 5 Pre-K & Kindergarten Practice Workbook Paxton Books / Book Paperback
common.buy 10.54 € 20.61 лв
Field Studies Techniques. Part 3. Zoology: Investigating Nature Together Michael Brody / Book Paperback
common.buy 14.09 € 27.55 лв
Down the Highway: The Life of Bob Dylan Howard Sounes / Book Paperback
common.buy 17.63 € 34.49 лв
Myofascial Induction (TM) Andrzej Pilat / Book Hardback
common.buy 158.59 € 310.17 лв
The Shadow Lily Johanna Mo / Book Paperback
common.buy 15.11 € 29.56 лв
Oxford Reading Tree: Floppy's Phonics Decoding Practice: Oxford Level 5: Old Ruins Catherine Baker / Book Paperback
common.buy 8.89 € 17.39 лв
Raising Pigs: The Ultimate Guide to Pig Raising on Your Homestead Dion Rosser / Book Paperback
common.buy 13.93 € 27.25 лв
GAMES WITH ANIMALS - Coloring Book For Kids Rachel Madeley / Book Paperback
common.buy 7.66 € 14.98 лв
Affordable
Homegrown Flax and Cotton CONNER CINDY / Book Paperback
common.buy 14.45 € 28.25 лв
Statistical Mechanics of Neural Networks Huang / Book Paperback
common.buy 161.78 € 316.41 лв
History of Wyoming; Volume 1 Ichabod S. Bartlett / Book Paperback
common.buy 32.29 € 63.15 лв
Shadowless Alison Robinson / Book Hardback
common.buy 18.35 € 35.90 лв
Best Is Always... Still Yet to Come! Keith Payne / Book Paperback
common.buy 17.58 € 34.39 лв
Tour to London Pierre Jean Grosley / Book Paperback
common.buy 24.42 € 47.76 лв
Adventures of Doctor Chess A Student / Book Paperback
common.buy 24.27 € 47.46 лв
Top
Sword Song Sal Quartuccio / Book Paperback
common.buy 20.36 € 39.82 лв
Causal Analysis with Panel Data Steven Eric Finkel / Book Paperback
common.buy 29.00 € 56.72 лв

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?