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

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 136 b
19 902 Ft
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

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 8 574 Ft
Sprawochnik po biostatistike i metodologii issledowanij w ortodontii Shantanu Sharma / Book Paperback
common.buy 31 729 Ft
Two Indian Children of Long Ago Frances Lilian Taylor / Book Paperback
common.buy 5 981 Ft
Miraculous Première lecture CP 2 L'hypnotiseur EMMANUELLE SAINT / Book Hardback
common.buy 2 274 Ft
Nech se vést láskou Sri Chinmoy / Printed items Cards
common.buy 1 451 Ft
COLOREA TU UNICORNIO / Book Book
common.buy 3 032 Ft
451° по Фаренгейту Рэй Брэдбери / Book Hardback
common.buy 4 982 Ft
Jóvenes empresarios: apoyo y formación / Book Paperback
common.buy 21 062 Ft
Servalo Raine Hawthorn / Book Paperback
common.buy 4 368 Ft
Japan - Kunst der Traditionen (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo / Calendar/Diary Calendar
common.buy 8 282 Ft
Bericht zum Praktikum in einem Rehabilitationszentrum Janine Berger / Book Paperback
common.buy 5 597 Ft
Krankheiten des Magens Max Einhorn / Book Paperback
common.buy 9 364 Ft
Ruta estocastica mas corta mediante MDP priorizado y reglamentado Ma.de Guadalupe Garcia-Hernandez / Book Paperback
common.buy 22 994 Ft
Der Elektrifizierungsroman Andrej Platonovs Konstantin Kaminskij / Book Hardback
common.buy 29 520 Ft
Wie spreche ich eine Frau an? In 6 Schritten zum perfekten Date Stefan Linger / Book Paperback
common.buy 4 543 Ft
Jardin Des Cultures Guyanaises Buland-F / Book Paperback
common.buy 24 843 Ft
Kritická reflexe demokracie a občanské společnosti Martin Šimsa / Book Paperback
common.buy 3 679 Ft
Modern Sehircilikte Rekreasyon ve Rekreasyon Liderligi Umut Davut Basoglu / Book Paperback
common.buy 17 267 Ft
Al culmine della disperazione Emil M. Cioran / Book Paperback
common.buy 10 801 Ft
TEHG - ZuV 2020 Lars Hoffmann / Book Book
common.buy 24 856 Ft
Cronache anticapitaliste. Guida alla lotta di classe per il XXI secolo David Harvey / Book Paperback
common.buy 7 284 Ft
Teczka ofertowa 9002 A4 20 koszulek / Book binding.
common.buy 1 377 Ft
Affordable
LAC Wanderkarte Madonie 1:50 000 / Printed items Map
common.buy 2 519 Ft
DUSK MAIDEN OF AMNESIA 4 MAYBE / Book Hardback
common.buy 4 044 Ft

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 239 514 Ft
Final Falcon Says I Do (Mills & Boon Cherish) Lucy Gordon / E-book Adobe ePub DRM
common.buy 716 Ft
Best Fairy Tales Hans Christian Andersen / Book Hardback
common.buy 4 483 Ft
History and Development of the Arabic Language Mohamed El-Sharkawi / Book Paperback
common.buy 26 996 Ft
Walks, Tracks and Trails of Queensland's Tropics Derrick Stone / Book Paperback
common.buy 12 137 Ft
Protecting Maggie / Book Paperback
common.buy 6 156 Ft
Journal of Biblical and Theological Studies Ryan A. Brandt / Book Paperback
common.buy 7 783 Ft
Who do you see in the Moon / ?Quién ve usted en la Luna? Cyndi Ambrose / Book Paperback
common.buy 4 659 Ft
Study Guide for Frank Loesser/Abe Burrows/Jo Swerling's Guys and Dolls Cengage Learning Gale / Book Paperback
common.buy 4 502 Ft
The New Century Standard Letter-Writer Alfred B. Chambers / Book Paperback
common.buy 13 833 Ft
Apariencia Al Desnudo (Appearance Stripped Bare) (Spanish Edition) Massimiliano Gioni / Book Hardback
common.buy 21 926 Ft
Branding Japanese Food Katarzyna J. Cwiertka / Book Hardback
common.buy 31 748 Ft
Superpower Involvement In The Middle East Paul Marantz / E-book Adobe ePub DRM
common.buy 19 333 Ft
US Presidential Doctrines Handbook - Volume 1 President Barack Obama Doctrine - Strategic Information and Materials Inc Ibp / Book Paperback
common.buy 36 670 Ft
Come Out of the Kitchen! a Romance (1916) Alice Duer Miller / Book Hardback
common.buy 17 147 Ft
Complete Anti-Inflammatory Diet Cookbook CLAUDE WATERS / Book Paperback
common.buy 6 036 Ft
Delicious Rob Dunn / Book Paperback
common.buy 6 434 Ft
Psychology Ryan Gold / Book Paperback
common.buy 5 468 Ft
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 4 132 Ft
Zinc in Soil-Plant Continuum Sudhakar Srivastava / Book Hardback
common.buy 91 148 Ft
Pattern Recognition and Machine Intelligence Sergei O. Kuznetsov / Book Paperback
common.buy 22 264 Ft
Cinema of Hong Kong Poshek FuDavid Desser / Book Paperback
common.buy 15 303 Ft
Women Vietnam Veterans DONNA A. LOWERY / Book Paperback
common.buy 11 887 Ft
Top
Inuyasha (VIZBIG Edition), Vol. 1 Rumiko Takahashi / Book Paperback
common.buy 7 594 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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?