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	Boeken Paperback Book (Boek met zachte kaft en gelijmde rug)
Vrijgegeven	19 oktober 2014
ISBN13	9781489984449
Uitgevers	Springer-Verlag New York Inc.
Pagina's	243
Afmetingen	155 × 235 × 14 mm · 367 g
Taal en grammatica	Engels

Alles tonen

Meer door Sandip Ray

Hardcover Book
1st ed. 2019 edition

Security Policy in System-on-Chi... (2018)
Sandip Ray

Bekijk alles van Sandip Ray ( bijv. Hardcover Book en Paperback Book )