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

Scalable Techniques for Formal Verification 2010 edition

Sandip Ray

Price
A$ 195.49

Ordered from remote warehouse

Expected delivery Mar 10 - 21

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:

Scalable Techniques for Formal Verification 2010 edition

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  
Show all

More by Sandip Ray

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