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 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Model Checking Software

22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

Language EnglishEnglish
Book Paperback
Book Model Checking Software Bernd Fischer
Libristo code: 09486332
Publishers Springer International Publishing AG, August 2015
This book constitutes the refereed proceedings of the 21st International Symposium on Model Checking... Full description
? points 125 b
51.63 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Nech se vést láskou Sri Chinmoy / Printed items Cards
common.buy 4.03 €
Japan - Kunst der Traditionen (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo / Calendar/Diary Calendar
common.buy 21.31 €
COLOREA TU UNICORNIO / Book Book
common.buy 8.58 €
Jóvenes empresarios: apoyo y formación / Book Paperback
common.buy 54.26 €
Bericht zum Praktikum in einem Rehabilitationszentrum Janine Berger / Book Paperback
common.buy 14.44 €
Two Indian Children of Long Ago Frances Lilian Taylor / Book Paperback
common.buy 15.35 €
Servalo Raine Hawthorn / Book Paperback
common.buy 11.31 €
451° по Фаренгейту Рэй Брэдбери / Book Hardback
common.buy 14.04 €
Ruta estocastica mas corta mediante MDP priorizado y reglamentado Ma.de Guadalupe Garcia-Hernandez / Book Paperback
common.buy 64.76 €
Miraculous Première lecture CP 2 L'hypnotiseur EMMANUELLE SAINT / Book Hardback
common.buy 6.36 €
Adobe Photoshop, Illustrator i InDesign. Współdziałanie i przepływ pracy. Oficjalny podręcznik instruktażowy Adobe Bart Van de Wiele / Book Paperback
common.buy 24.14 €
Sprawochnik po biostatistike i metodologii issledowanij w ortodontii Shantanu Sharma / Book Paperback
common.buy 81.74 €
Der Elektrifizierungsroman Andrej Platonovs Konstantin Kaminskij / Book Hardback
common.buy 83.16 €
Cronache anticapitaliste. Guida alla lotta di classe per il XXI secolo David Harvey / Book Paperback
common.buy 20.50 €
MONSIEUR MARCEL ou de la communication PELAEZ / Book Paperback
common.buy 16.06 €
Waiting for spring T01 / Book Paperback
common.buy 10.90 €
Low Carb Diat Fur Anfanger Simone Jacobs / Book Paperback
common.buy 15.75 €
Wie spreche ich eine Frau an? In 6 Schritten zum perfekten Date Stefan Linger / Book Paperback
common.buy 11.71 €
DUSK MAIDEN OF AMNESIA 4 MAYBE / Book Hardback
common.buy 11.41 €
Affordable
LAC Wanderkarte Madonie 1:50 000 / Printed items Map
common.buy 7.06 €
Jardin Des Cultures Guyanaises Buland-F / Book Paperback
common.buy 63.96 €
Teczka ofertowa 9002 A4 20 koszulek / Book binding.
common.buy 3.83 €
Krankheiten des Magens Max Einhorn / Book Paperback
common.buy 24.14 €
TEHG - ZuV 2020 Lars Hoffmann / Book Book
common.buy 70.02 €

This book constitutes the refereed proceedings of the 21st International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented - 14 regular papers and 4 tool or new idea papers - were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are organized in topical sections such as abstraction, refinement, translation; Büchi automata and hashing; embedded systems; heuristics and benchmarks; SAT/SMT- based approaches; software validation and verification.

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 Bernd Fischer, Jaco Geldenhuys
Language English
Binding Book - Paperback
Date of issue 2015
Number of pages 319
EAN 9783319234038
ISBN 331923403X
Libristo code 09486332
Publishers Springer International Publishing AG
Weight 5153
Dimensions 155 x 235 x 20

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
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

Health Care for People with Intellectual and Developmental Disabilities across the Lifespan I. Leslie Rubin / Book Hardback
common.buy 674.72 €
Branding Japanese Food Katarzyna J. Cwiertka / Book Hardback
common.buy 84.98 €
History and Development of the Arabic Language Mohamed El-Sharkawi / Book Paperback
common.buy 71.03 €
Walks, Tracks and Trails of Queensland's Tropics Derrick Stone / Book Paperback
common.buy 31.82 €
Journal of Biblical and Theological Studies Ryan A. Brandt / Book Paperback
common.buy 20.30 €
Who do you see in the Moon / ?Quién ve usted en la Luna? Cyndi Ambrose / Book Paperback
common.buy 12.12 €
Study Guide for Frank Loesser/Abe Burrows/Jo Swerling's Guys and Dolls Cengage Learning Gale / Book Paperback
common.buy 11.71 €
The New Century Standard Letter-Writer Alfred B. Chambers / Book Paperback
common.buy 35.66 €
Apariencia Al Desnudo (Appearance Stripped Bare) (Spanish Edition) Massimiliano Gioni / Book Hardback
common.buy 56.18 €
Pattern Recognition and Machine Intelligence Sergei O. Kuznetsov / Book Paperback
common.buy 58.50 €
US Presidential Doctrines Handbook - Volume 1 President Barack Obama Doctrine - Strategic Information and Materials Inc Ibp / Book Paperback
common.buy 95.89 €
Come Out of the Kitchen! a Romance (1916) Alice Duer Miller / Book Hardback
common.buy 44.86 €
Complete Anti-Inflammatory Diet Cookbook CLAUDE WATERS / Book Paperback
common.buy 15.75 €
Travel Activity Book For Kids Ages 6-8: Over 150 Travelling Activities for Children, including Puzzles, Mazes, Dot-to-Dots, Drawing and Coloring, Lett Natural Designs / Book Paperback
common.buy 10.80 €
Psychology Ryan Gold / Book Paperback
common.buy 14.34 €
Delicious Rob Dunn / Book Paperback
common.buy 16.46 €
Superpower Involvement In The Middle East Paul Marantz / E-book Adobe ePub DRM
common.buy 54.56 €
Final Falcon Says I Do (Mills & Boon Cherish) Lucy Gordon / E-book Adobe ePub DRM
common.buy 2.01 €
Protecting Maggie / Book Paperback
common.buy 15.75 €
Zinc in Soil-Plant Continuum Sudhakar Srivastava / Book Hardback
common.buy 236.25 €
New Improved Great Dane Understanding and Training Guide Book Vince Stead / Book Paperback
common.buy 16.26 €
Top
Inuyasha (VIZBIG Edition), Vol. 1 Rumiko Takahashi / Book Paperback
common.buy 19.39 €
Analog Circuit Design Volume Three Bob Dobkin / Book Hardback
common.buy 103.16 €
Women Vietnam Veterans DONNA A. LOWERY / Book Paperback
common.buy 31.11 €

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