Symbolic Simulation Methods for Industrial Formal Verification
Odporučiť
  • Anglický jazyk

Symbolic Simulation Methods for Industrial Formal Verification

Autor: Robert B. Jones

This volume contains two distinct, but related, approaches to the verification problem, both based on symbolic simulation. It describes new ideas that enable the use of formal methods, specifically symbolic simulation, in validating commercial hardware designs... Viac o knihe

Na objednávku, dodanie 2-4 týždne

98.99 €

bežná cena: 109.99 €

O knihe

This volume contains two distinct, but related, approaches to the verification problem, both based on symbolic simulation. It describes new ideas that enable the use of formal methods, specifically symbolic simulation, in validating commercial hardware designs of remarkable complexity.

  • Vydavateľstvo: Springer US
  • Rok vydania: 2012
  • Formát: Paperback
  • Rozmer: 235 x 155 mm
  • Jazyk: Anglický jazyk
  • ISBN: 9781461353959

Odporúčané tituly:

Product Lifecycle Management (Volume 3): The Executive Summary
  • Anglický jazyk Anglický jazyk

Product Lifecycle Management (Volume 3): The Executive Summary

John Stark

92.15 € 102.39 € (ušetríte 10%)
Peake, T: Ask an Astronaut
  • Anglický jazyk Anglický jazyk

Peake, T: Ask an Astronaut

Tim Peake

17.88 € 19.87 € (ušetríte 10%)
Ultra Low Power Bioelectronics
  • Anglický jazyk Anglický jazyk

Ultra Low Power Bioelectronics

Rahul Sarpeshkar

91.92 € 102.13 € (ušetríte 10%)
Dawkins, R: An Appetite For Wonder: The Making of a Scientis

Dawkins, R: An Appetite For Wonder: The Making of a Scientis

11.12 € 12.36 € (ušetríte 10%)
Ulrica, S: Nobel Banquets, The: A Century Of Culinary Histo
  • Anglický jazyk Anglický jazyk

Ulrica, S: Nobel Banquets, The: A Century Of Culinary Histo

28.47 € 31.63 € (ušetríte 10%)
The God Equation
  • Anglický jazyk Anglický jazyk

The God Equation

Michio Kaku

12.51 € 13.90 € (ušetríte 10%)
Size
  • Anglický jazyk Anglický jazyk

Size

Vaclav Smil

13.50 € 15.00 € (ušetríte 10%)
An Intimate History of Evolution
  • Anglický jazyk Anglický jazyk

An Intimate History of Evolution

Alison Bashford

17.64 € 19.60 € (ušetríte 10%)
Fantastic Numbers and Where to Find Them
  • Anglický jazyk Anglický jazyk

Fantastic Numbers and Where to Find Them

Antonio Padilla

12.96 € 14.40 € (ušetríte 10%)
Der deutsche Luftverkehr 1926 - 1945
  • Nemecký jazyk Nemecký jazyk

Der deutsche Luftverkehr 1926 - 1945

Karl-Dieter Seifert

18.45 € 20.50 € (ušetríte 10%)
Der deutsche Luftverkehr 1955 - 2000
  • Nemecký jazyk Nemecký jazyk

Der deutsche Luftverkehr 1955 - 2000

Karl-Dieter Seifert

18.45 € 20.50 € (ušetríte 10%)
Fahrtenbuch Tankheft Tankbuch für alle KFZ inkl. Kontrollen für Öl und Reifendruck
  • Nemecký jazyk Nemecký jazyk

Fahrtenbuch Tankheft Tankbuch für alle KFZ inkl. Kontrollen für Öl und Reifendruck

Uwe H. Sültz

3.69 € 4.10 € (ušetríte 10%)

Generuje redakčný systém BUXUS CMS spoločnosti ui42.