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

25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Language EnglishEnglish
Book Paperback
Book Model Checking Software María del Mar Gallardo
Libristo code: 19534895
Publishers Springer International Publishing AG, June 2018
This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking... Full description
? points 136 b
19 870 Ft
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

naanallada naanu s.g.shivashankar / Book Paperback
common.buy 5 957 Ft
Biología: Selección y no selección Leandra Griffith -Jn Baptiste / Book Paperback
common.buy 13 811 Ft
Mise en place d'un budget prévisionnel de trésorerie Sarra Elhammami / Book Paperback
common.buy 17 240 Ft
Das Erbe Martin Wieland / Book Paperback
common.buy 7 974 Ft
Integració socio-cultural y comunitat educativa. Tercer Simposi sobre Llengua, Educació i Immigració Vila / Book Paperback
common.buy 5 514 Ft
Elaboración de vinos espumosos y cavas Madrid Vicente / Book Paperback
common.buy 13 580 Ft
FANTAISIE SUR -IL PLEUT IL PLEUT BERGERE- GENIN PAUL-AGRICOLE Book Paperback
common.buy 9 220 Ft
Rüyalar ve Uyanislar Defteri Latife Tekin / Book Paperback
common.buy 5 445 Ft
Anders, Korbonski, Sieniewicz... Ziętara Paweł / Book Paperback
common.buy 3 133 Ft
Gesammelte Werke Ernst Von Wildenbruch / Book Paperback
common.buy 22 403 Ft

This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018. The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.

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 María del Mar Gallardo, Pedro Merino
Language English
Binding Book - Paperback
Date of issue 2018
Number of pages 347
EAN 9783319941103
ISBN 3319941100
Libristo code 19534895
Publishers Springer International Publishing AG
Weight 557
Dimensions 155 x 235 x 20

Categories

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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 modelling & simulation
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

Hymns, Psalms and Prayers Isaac Mayer Wise / Book Paperback
common.buy 7 974 Ft
The Heart of Your Script Phil Hughes / Book Paperback
common.buy 12 893 Ft
Ecocriticism and Italy Serenella Iovino / Book Paperback
common.buy 20 691 Ft
Tiny the Vancouver Easter Bunny Eric James / Book Hardback
common.buy 3 470 Ft
Bon Iver Bon / Book Book
common.buy 8 809 Ft
Egyptian Colloquial Arabic Verbs Matthew Aldrich / Book Paperback
common.buy 9 861 Ft
Inventive Engineering Tomasz Arciszewski / Book Hardback
common.buy 106 192 Ft
The True Story of the Three Billy Goats Gruff: The Troll's Side of the Story David Reynolds / Book Paperback
common.buy 5 676 Ft
An ANFIS Based Study for High Impedance Faults in Distribution Systems M. S. Abdel Aziz / Book Paperback
common.buy 17 240 Ft
Glencoe Accounting: First Year Course, School-To-Work Handbook McGraw-Hill/Glencoe / Book Paperback
common.buy 6 659 Ft
Danger Music Eddie Ayres / Book Paperback
common.buy 4 084 Ft
Avatar Coloring Book: Coloring Book for Kids and Adults with Fun, Easy, and Relaxing Coloring Pages Linda Johnson / Book Paperback
common.buy 2 575 Ft
Radiant, Vol. 8, 8 Tony Valente / Book Paperback
common.buy 3 276 Ft
Interpreting the New Testament Francis J. Moloney / Book Paperback
common.buy 13 022 Ft
genealogical dictionary of the first settlers of New England, Volume 2 James Savage / E-book Adobe ePub DRM
common.buy 4 301 Ft
Catch a Falling Star Mason Stone / Book Paperback
common.buy 4 139 Ft
Towards a Federal Europe Alexander H. Trechsel / Book Paperback
common.buy 18 319 Ft
Coming soon New
The "Banner" of the Great Ming and Little China Consciousness Sun Weiguo / Book Hardback
common.buy 72 710 Ft
Developmental-Behavioral Disorders Marvin I. Gottlieb / Book Paperback
common.buy 19 870 Ft
Creating Textures in Pen & Ink with Watercolor Claudia Nice / Book Paperback
common.buy 7 286 Ft
Introduction to Transport Policy - A Public Policy View Peter R. Stopher / Book Hardback
common.buy 58 691 Ft
My Neighbor Jesus - In The Light Of His Own Language, People And Time George M. Lamsa / Book Paperback
common.buy 12 233 Ft
Free Fall Robert Crais / Book Paperback
common.buy 4 933 Ft
Electronic Banking Scn Education B. V. / Book Paperback
common.buy 39 624 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