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
Contact
How to shop
Help
Delivery
Austrian Post 5.49 €
DPD courier 3.99 €
DPD point 2.99 €
Shopping guide
My account
▸
Empty :-(
0
Model Checking Software
25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Language
English
English
Book
Paperback
This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking...
Full description
Libristo code: 19534895
?
132 b
132 b
53.79
€
VAT included
In stock at our supplier
Shipping in 5-8 days
Delivery to Austria
Delivery to Austria
30-day return policy
Customers also purchased
/
Paperback
16.19
€
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
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
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
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 addressYou might also be interested in
/
Paperback
15.39
€
/
Paperback
46.59
€
/
Paperback
18.09
€
/
Paperback
6.99
€
/
Adobe ePub DRM
12.59
€
/
Paperback
35.99
€
