Deutsch
Deutschland
Anmelden
Tipp von eurobuch.com
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 9781441960061 ankaufen:
Suchtools
Buchtipps
Aktuelles
FILTER
- 0 Ergebnisse
Kleinster Preis: 24,95 €, größter Preis: 24,95 €, Mittelwert: 24,95 €
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.

Details zum Buch

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: 9781441960061

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


< zum Archiv...
Benachbarte Bücher