Code: 19534895

Model Checking Software

Name: Model Checking Software
Brand: Springer International Publishing AG
SKU: 19534895
Price: 55.93 EUR
Availability: InStock
Author: María del Mar Gallardo
ISBN: 9783319941103

by María del Mar Gallardo, Pedro Merino

Language: English
Binding: Paperback
Number of pages: 347
Publisher: Springer International Publishing AG, 2018
More about this

55.93 €

Low in stock at our supplier
Shipping in 11 - 15 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

Creating Textures in Pen & Ink with Watercolor
17.62 € -24 %
Buy
Radiant, Vol. 8, 8
7.69 € -27 %
Buy
Bon Iver
28.87 € -14 %
Buy
Avatar Coloring Book: Coloring Book for Kids and Adults with Fun, Easy, and Relaxing Coloring Pages
6.37 € -7 %
Buy
Free Fall
13.77 € -19 %
Buy
Ecocriticism and Italy
55.73 €
Buy
Egyptian Colloquial Arabic Verbs
23.81 € -24 %
Buy
Guida al cinema noir
34.04 €
Buy
The "Banner" of the Great Ming and Little China Consciousness
205.72 €
Pre-order
Developmental-Behavioral Disorders
55.93 €
Buy
Electronic Banking
109.54 €
Buy
Conversations with God!
18.33 € -7 %
Buy
Hymns, Psalms and Prayers
23.91 € -4 %
Buy
Congenital Heart Disease
138.83 €
Buy
Handbook of Metric Fixed Point Theory
173.09 €
Buy
Gesammelte Werke
61.10 € -6 %
Buy
Political Identity and Conflict in Central Angola, 1975-2002
123.63 €
Buy
Multilateralism Versus Unilateralism
58.67 €
Buy
Integració socio-cultural y comunitat educativa. Tercer Simposi sobre Llengua, Educació i Immigració
15.60 €
Buy
Introduction to Transport Policy - A Public Policy View
165.99 €
Buy
Secrets of Canadian Top Performers
14.79 € -25 %
Buy
Resurrected (Book #9 in the Vampire Journals)
13.06 € -2 %
Buy
Privacy: Government Use of Data from Information Resellers Could Include Better Protections
15.50 € -2 %
Buy
The flying flower(ID)
5.87 € -7 %
Buy
Shays's Rebellion
22.59 € -7 %
Buy
Towards a Federal Europe
49.55 €
Buy
FANTAISIE SUR -IL PLEUT IL PLEUT BERGERE-
26.04 €
Buy
Villainous
9.01 € -6 %
Buy
Glencoe Accounting: First Year Course, School-To-Work Handbook
17.62 €
Buy
An ANFIS Based Study for High Impedance Faults in Distribution Systems
50.97 € -3 %
Buy
Das Erbe
24.82 €
Buy
Elaboración de vinos espumosos y cavas
38.40 €
Buy
Mise en place d'un budget prévisionnel de trésorerie
50.97 €
Buy
Rust Belt Burlesque
25.33 € -4 %
Buy
Biología: Selección y no selección
35.76 € -14 %
Buy
Testing: Academic and Industrial Conference - Practice and Research Techniques
56.14 €
Buy
The True Story of the Three Billy Goats Gruff: The Troll's Side of the Story
14.08 € -7 %
Buy
Danger Music
10.83 € -25 %
Buy
Anders, Korbonski, Sieniewicz...
8.81 € -15 %
Buy
Interpreting the New Testament
31.41 € -24 %
Buy
Ethical Issues in Social Work
65.05 €
Buy
Catch a Falling Star
10.33 € -2 %
Buy
Metadata for Information Management and Retrieval
94.85 €
Buy
British Motor Fishing Vessels
18.13 € -25 %
Buy
Inventive Engineering
286.19 €
Buy
Who Wins? Being the Autobiography of Samuel Basil Carlingford, M.D. [A Novel. Followed by a Biography of S. C. F. Hahnemann.]
28.16 € -9 %
Buy
The Heart of Your Script
28.06 € -9 %
Buy
Tiny the Vancouver Easter Bunny
8.81 € -22 %
Buy
naanallada naanu
14.89 € -2 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 135 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Graphical & digital media applications 3D graphics & modelling

55.93 €

Full title: Model Checking Software
Subtitle: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Author: María del Mar Gallardo, Pedro Merino
Language: English
Binding: Paperback
Number of pages: 347
EAN: 9783319941103
ISBN: 3319941100
ID: 19534895
Publisher: Springer International Publishing AG
Weight: 557 g
Dimensions: 235 × 155 × 20 mm
Date of publishing: 17. June 2018