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

Sandip Ray
Scalable Techniques for Formal Verification 2010 edition

Price
HK$ 914
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 5 - 11

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

Mere med samme udgiver

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