Scalable Techniques for Formal Verification - Sandip Ray - Bøger - Springer-Verlag New York Inc. - 9781489984449 - 19. oktober 2014
Ved uoverensstemmelse mellem cover og titel gælder titel

Sandip Ray
Scalable Techniques for Formal Verification 2010 edition

Pris
DKK 939

Bestilles fra fjernlager

Forventes klar til forsendelse 19. - 23. okt.
Modtag notifikation om nye Sandip Ray udgivelser

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

Ikke bedømt endnu

Findes også som:

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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 19. oktober 2014
ISBN13 9781489984449
Forlag Springer-Verlag New York Inc.
Antal sider 243
Mål 155 × 235 × 14 mm   ·   367 g
Sprog Engelsk  

Mere med samme udgiver

Se alt med Sandip Ray