. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.com

Dieses Buch teilen auf…
..?
Buchtipps
Aktuelles
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 24.95 EUR, größter Preis: 24.95 EUR, Mittelwert: 24.95 EUR
Scalable Techniques for Formal Verification - Ray, Sandip
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Ray, Sandip:

Scalable Techniques for Formal Verification - Taschenbuch

2010, ISBN: 1441960066, Lieferbar binnen 4-6 Wochen Versandkosten:Versandkostenfrei innerhalb der BRD

ID: 9781441960061

Internationaler Buchtitel. In englischer Sprache. Verlag: SPRINGER VERLAG GMBH, 260 Seiten, L=156mm, B=234mm, H=14mm, Gew.=367gr, [GR: 26830 - TB/Maschinenbau/Fertigungstechnik], [SW: - Technology & Industrial Arts], Kartoniert/Broschiert, Klappentext: This book presents state-of-the-art approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It should benefit researchers and practitioners looking to get a broad overview of the spectrum of formal verification techniques, as well as approaches to combining such techniques within a single framework. Coverage includes a range of case studies showing how such combination is fruitful in developing a scalable verification methodology for industrial designs. This book outlines both theoretical and practical issues involved in integrating different reasoning methods to work in concert, and current approaches to their resolution. This book presents state-of-the-art approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It should benefit researchers and practitioners looking to get a broad overview of the spectrum of formal verification techniques, as well as approaches to combining such techniques within a single framework. Coverage includes a range of case studies showing how such combination is fruitful in developing a scalable verification methodology for industrial designs. This book outlines both theoretical and practical issues involved in integrating different reasoning methods to work in concert, and current approaches to their resolution.

Neues Buch DEU
Buchgeier.com
Lieferbar binnen 4-6 Wochen (Besorgungstitel) Versandkosten:Versandkostenfrei innerhalb der BRD
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

< zum Suchergebnis...
Details zum Buch
Autor:

Ray, Sandip

Titel:

Scalable Techniques for Formal Verification

ISBN-Nummer:

1441960066

This book presents state-of-the-art approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It should benefit researchers and practitioners looking to get a broad overview of the spectrum of formal verification techniques, as well as approaches to combining such techniques within a single framework. Coverage includes a range of case studies showing how such combination is fruitful in developing a scalable verification methodology for industrial designs. This book outlines both theoretical and practical issues involved in integrating different reasoning methods to work in concert, and current approaches to their resolution.

Detailangaben zum Buch - Scalable Techniques for Formal Verification


EAN (ISBN-13): 9781441960061
ISBN (ISBN-10): 1441960066
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: SPRINGER VERLAG GMBH
260 Seiten
Gewicht: 0,367 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 09.12.2011 18:25:50
Buch zuletzt gefunden am 09.12.2011 18:25:50
ISBN/EAN: 1441960066

ISBN - alternative Schreibweisen:
1-4419-6006-6, 978-1-4419-6006-1

< zum Suchergebnis...
< zum Archiv...
Benachbarte Bücher