Scalable Techniques for Formal Verification - Sandip Ray - Böcker - Springer-Verlag New York Inc. - 9781489984449 - 19 oktober 2014
Om omslag och titel inte matchar är det titeln som gäller

Sandip Ray
Scalable Techniques for Formal Verification 2010 edition

Pris
SEK 1.359

Beställningsvara

Förväntad leverans 13 - 27 aug
Få avisering om nya utgåvor med Sandip Ray

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Inte betygsatt ännu

Finns även 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

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 19 oktober 2014
ISBN13 9781489984449
Utgivare Springer-Verlag New York Inc.
Antal sidor 243
Mått 155 × 235 × 14 mm   ·   367 g
Språk Engelska  

Mer från samma **utgivare**

Se alt med Sandip Ray ( t.ex. Inbunden Bok och Pocketbok )