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

96.79 €

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

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

Peake, T: Ask an Astronaut

Tim Peake

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

Ultra Low Power Bioelectronics

Rahul Sarpeshkar

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

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

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

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

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

The God Equation

Michio Kaku

12.23 € 13.90 € (ušetríte 12%)
Size
  • Anglický jazyk Anglický jazyk

Size

Vaclav Smil

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

An Intimate History of Evolution

Alison Bashford

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

Fantastic Numbers and Where to Find Them

Antonio Padilla

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

Der deutsche Luftverkehr 1926 - 1945

Karl-Dieter Seifert

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

Der deutsche Luftverkehr 1955 - 2000

Karl-Dieter Seifert

18.04 € 20.50 € (ušetríte 12%)
Die Pfeilflügelentwicklung in Deutschland bis 1945
  • Nemecký jazyk Nemecký jazyk

Die Pfeilflügelentwicklung in Deutschland bis 1945

Hans-Ulrich Meier

44.35 € 50.40 € (ušetríte 12%)

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