[email protected]
LIBRISTO 0
Austrian Post 5.99 € DPD courier 6.49 € GLS courier 4.49 €
phone Contact phoneHow to shop

Scalable Techniques for Formal Verification

Language EnglishEnglish
Book Paperback
Book Scalable Techniques for Formal Verification SANDIP RAY
Libristo code: 09062296
Publishers Springer-Verlag New York Inc., October 2014
This book presents the latest approaches to formal verification techniques to seamlessly integrate d... Full description
? points 346 b
146.32 € včetně DPH
Low in stock at our supplier Shipping in 13-16 days
Austria Delivery to Austria

30-day return policy

You might also be interested in

Ultraviolet Germicidal Irradiation Handbook Kowalski / Paperback
common.buy 321.55 €
AQA Psychology for A Level Workbook 2 Rob Liddle / Paperback
common.buy 14.12 €
Instabilitat in Natur und Wissenschaft Jan Cornelius Schmidt / Hardback
common.buy 208.68 €
With the Joy in My Heart, I Will Rejoice David Malberg / Paperback
common.buy 13.80 €
Father Colman / Hardback
common.buy 44.20 €
Cooking with gas Jean Nel / Paperback
common.buy 14.98 €

This book presents the latest approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It outlines theoretical and practical issues and includes a range of case studies.

About the book

Full name Scalable Techniques for Formal Verification
Author SANDIP RAY
Language English
Binding Book - Paperback
Date of issue 2014
Number of pages 243
EAN 9781489984449
ISBN 9781489984449
Libristo code 09062296
Publishers Springer-Verlag New York Inc.
Weight 403
Dimensions 155 x 235 x 15

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Electronics: circuits & components
Technology, Engineering, Agriculture > Technology: general issues > Engineering: general
Computing & Information Technology > Graphical & digital media applications > Computer-aided design (CAD)
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

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