Scalable Techniques for Formal Verification - Sandip Ray - Books - Springer-Verlag New York Inc. - 9781441959973 - May 25, 2010
In case cover and title do not match, the title is correct

Sandip Ray
Scalable Techniques for Formal Verification 2010 edition

Price
HK$ 961
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 3 - 15

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

This book is about formal veri?cation, that is, the use of mathematical reasoning to ensure correct execution of computing systems. Over the last decade, formal veri?cation has made signi?cant headway in the analysis of industrial systems, particularly in the realm of veri?cation of hardware.

243 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released May 25, 2010
ISBN13 9781441959973
Publishers Springer-Verlag New York Inc.
Pages 243
Dimensions 155 × 235 × 15 mm   ·   539 g
Language English  

More by Sandip Ray

Show all

Mere med samme udgiver

See all of Sandip Ray ( e.g. Hardcover Book and Paperback Book )