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
Symbolic Model Checking
Language
English
English
Book
Hardback
Formal verification means having a mathematical model of a system, a language for specifying desired...
Full description
Libristo code: 42163944
?
261 b
261 b
106.69
€
VAT included
In stock at our supplier
Shipping in 10-18 days
Delivery to Austria
Delivery to Austria
30-day return policy
Customers also purchased
/
Paperback
33.29
€
/
Hardback
69.95
€
Formal verification means having a mathematical model of a system, a language for specifying desired properties of the system in a concise, comprehensible and unambiguous way, and a method of proof to verify that the specified properties are satisfied. Whe
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
Symbolic Model Checking
Author
Kenneth L. McMillan
Language
English
English
Binding
Book - Hardback
Date of issue
1993
Number of pages
194
EAN
9780792393801
ISBN
0792393805
Libristo code
42163944
Publishers
Kluwer Academic Publishers
Weight
426
Dimensions
179 x 229 x 18
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
/
Adobe ePub DRM
110.09
€
