Scalable Techniques for Formal Verification - Sandip Ray - Books - Springer-Verlag New York Inc. - 9781489984449 - October 19, 2014
In case cover and title do not match, the title is correct

Scalable Techniques for Formal Verification 2010 edition

Sandip Ray

Price
£ 106.99

Ordered from remote warehouse

Expected delivery Feb 24 - Mar 5

Our customers say:

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

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     Paperback Book   (Book with soft cover and glued back)
Released October 19, 2014
ISBN13 9781489984449
Publishers Springer-Verlag New York Inc.
Pages 243
Dimensions 155 × 235 × 14 mm   ·   367 g
Language English  
Show all

More by Sandip Ray

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