- 1 Ergebnisse
Kleinster Preis: € 24,95, größter Preis: € 24,95, Mittelwert: € 24,95
1
Bestellen
bei
(ca. € 24,95)
Bestellengesponserter Link
Ray, Sandip:

Scalable Techniques for Formal Verification - Taschenbuch

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

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: - … Mehr…

Lieferbar binnen 4-6 Wochen (Besorgungstitel) Versandkosten:Versandkostenfrei innerhalb der BRD Buchgeier.com

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

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 2011-12-09T18:25:50+01:00 (Berlin)
Detailseite zuletzt geändert am 2011-12-09T18:25:50+01:00 (Berlin)
ISBN/EAN: 1441960066

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


< zum Archiv...