Scalable Techniques for Formal Verification - Sandip Ray - Boeken - Springer-Verlag New York Inc. - 9781441959973 - 25 mei 2010
Indien omslag en titel niet overeenkomen, is de titel correct

Sandip Ray
Scalable Techniques for Formal Verification 2010 edition

Prijs
€ 114,49

Besteld in een afgelegen magazijn

Verwachte levering 14 - 28 aug.
Ontvang meldingen over nieuwe releases van Sandip Ray

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

Nog niet beoordeeld

Ook verkrijgbaar als:

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     Hardcover Book   (Boek met harde rug en kaft)
Vrijgegeven 25 mei 2010
ISBN13 9781441959973
Uitgevers Springer-Verlag New York Inc.
Pagina's 243
Afmetingen 155 × 235 × 15 mm   ·   539 g
Taal en grammatica Engels  

Meer door Sandip Ray

Alles tonen

Meer van dezelfde uitgever

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