Free delivery for orders over 69.99 euro.
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
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 €
Contact
How to shop
Help
Delivery
DPD courier 5.99 €
Bpost point 7.99 €
Bpost 7.49 €
DPD point 3.49 €
GLS courier 4.49 €
Free delivery for purchases over 69.99 €
Shopping guide
My account
▸
Empty :-(
0
Free delivery for orders over 69.99 euro.
Language
English
English
Book
Paperback
This book addresses the most important techniques in improving the correctness of software, includin...
Libristo code: 01434729
?
122 b
122 b
50.52
€
In stock at our supplier
Shipping in 5-8 days
30-day return policy
Customers also purchased
/
Book
24.75
€
/
Paperback
16.26
€
/
Paperback
12.12
€
/
Paperback
18.38
€
This book addresses the most important techniques in improving the correctness of software, including correctness by construction, program proving, static analysis and dynamic, execution-based analysis. Problems and exercises are included.
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
Software Verification and Analysis
Author
Janusz Laski, William Stanley
Language
English
English
Binding
Book - Paperback
Date of issue
2010
Number of pages
234
EAN
9781849968294
ISBN
1849968292
Libristo code
01434729
Publishers
Springer, Berlin
Weight
384
Dimensions
156 x 234 x 13
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
53.04
€
/
Paperback
15.75
€
/
Paperback
42.74
€
/
Paperback
40.21
€
/
Paperback
21.21
€
