Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Scalable Techniques for Formal Verification

Name: Scalable Techniques for Formal Verification
Brand: Springer-Verlag New York Inc.
SKU: 01423877
Price: 97.79 EUR
Availability: InStock
Author: Sandip Ray
ISBN: 9781441959973

Sandip Ray

Sprache

Englisch

Buch Hardcover

Libristo-Code: 01423877

Verlag Springer-Verlag New York Inc., Mai 2010

This book presents state-of-the-art approaches to formal verification techniques to seamlessly integ... Vollständige Beschreibung

Libristo-Code: 01423877

239 b

97.79 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Discípulos y maestros 2.0 WILFRIDO H. CORRAL

Broschur

33.29 €

Spielplan Simon Golthauer

Hardcover

24.95 €

Biologie-Géologie tout-en-un BCPST 1re année Anne Woerhlé

Broschur

50.29 €

Mustafa Al -Nahhas Abbas Hafez

Adobe ePub DRM

11.09 €

Bosco. Una vida en tu mirada ANCA

Buch

19.09 €

Naoki Urasawa: Récits, dessins et confidences (Nouvelle édition) Naoki Urasawa

Broschur

40.39 €

WK 133 Graz u. Umgebung 1:50 000

Karte

10.69 €

Soehne des Herrn Budiwoj August Sperl

Broschur

26.90 €

EinFach Deutsch Textausgaben Georg Büchner

Broschur

6.49 €

Schriftspracherwerb Mit Der Tobi-Fibel Und Mit Dem Konzept Lesen Durch Schreiben Von J rgen Reichen Merle Meinhardt

Broschur

15.95 €

Theorien Des Magnetismus Joseph Würschmidt

Broschur

54.99 €

František Pubička S.I. (1722-1807) Jakub Zouhar

Blatt

14.49 €

Das Bürgerliche Gesetzbuch aus Sicht des Common Law. Marcus Dittmann

Broschur

149.90 €

Allgemeine Untersuchungsmethoden R Strohecker

Broschur

54.99 €

Participacion de padres en la vida escolar y aprendizaje de matematica Huaman Delgado Dulia

Broschur

27.99 €

ASSiMEMOR Animales & Colores (Tiere & Farben) DEHEEGER Jean-SEbast

Spiel

9.19 €

Komplexes Problemloesen Ulrike Kipman

Broschur

39.99 €

Fahnenweihe Josef Ruederer

Broschur

5.89 €

Rome Et a Vienne, Notes de Voyages DE FAVIERS-H

Broschur

14.69 €

petit cirque du salut. PIERRE HENRI DUBOIS

Broschur

10.59 €

IMPERIOFILIA Y EL POPULISMO NACIONAL-CATÓLICO JOSE LUIS VILLACAÑAS

Broschur

17.89 €

Die Entstehung der thomistisch-molinistischen Controverse Gerhard Schneemann

Broschur

15.00 €

Stírací mapa Evropy – zlatá Deluxe XL

Karte

18.29 €

Zywot Kazimierza Na Pulaziu Pulaskiego: Starosty Zezulenieckiego Marszalka Konfederacyi Lomzynskiej, Regimentarza Malo-Polskiego (1869) Leonard Chodzko

Broschur

29.89 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Scalable Techniques for Formal Verification

Autor Sandip Ray

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2010

Anzahl der Seiten 243

EAN 9781441959973

ISBN 1441959971

Libristo-Code 01423877

Verlag Springer-Verlag New York Inc.

Gewicht 1200

Abmessungen 155 x 235 x 25

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Schaltkreise und Komponenten (Bauteile)

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Technologie, allgemein > Ingenieurswesen, Maschinenbau allgemein

EDV und Informationstechnologie > Grafische und digitale Media-Anwendungen > Computer-Aided Design (CAD)

EDV und Informationstechnologie > Informationstechnik (IT), allgemeine Themen

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Nonlinear Dynamics and Vibration Control of Flexible Systems HUANG

Broschur

62.69 €

Implementing Health-Protective Features and Practices in Buildings Federal Facilities Council

Broschur

49.39 €

CHEMISTRY CENTRAL SCIENCE 7ª ED BROWN

Buch

62.69 €

Building Your Own Kitchen Furniture - Step by Step Instructions to Constructing Stools and Cabinets Hubbard Cobb

Broschur

10.79 €

Play Therapy Activities for Mindfulness: 80 Play-Based Exercises to Improve Emotional Regulation and Strengthen the Parent-Child Connection LAVIGNE MELISSA

Broschur

9.69 €