Symbolic Simulation Methods for Industrial Formal Verification

Name: Symbolic Simulation Methods for Industrial Formal Verification
Brand: Springer-Verlag New York Inc.
SKU: 9781461353959
Price: 433.29 PLN
Availability: InStock

Autor: Robert B. Jones

Język:

Oprawa: Miękka

Wydawca: Springer-Verlag New York Inc.

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

433.29 zł

This volume contains two distinct, but related, approaches to the verification problem, both based o...

Informacje o książce

Autor

Robert B. Jones

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2002

strony

151

EAN

9781461353959

ISBN

1461353955

Enbook ID

06796344

Wydawca

Springer-Verlag New York Inc.

Waga

272

Wymiary

155 x 235 x 10

Pełny opis

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.§

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Symbolic Simulation Methods for Industrial Formal Verification

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również