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

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

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

290 b

118.29 € inkl. MwSt.

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

30 Tage für die Rückgabe der Ware

Kunden kauften auch

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

Broschur

51.19 €

Komplexes Problemloesen Ulrike Kipman

Broschur

44.49 €

Spielplan Simon Golthauer

Hardcover

26.99 €

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

Broschur

63.79 €

Discípulos y maestros 2.0 WILFRIDO H. CORRAL

Broschur

43.29 €

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

Broschur

29.89 €

Stírací mapa Evropy – zlatá Deluxe XL

Karte

20.79 €

Die Entstehung der thomistisch-molinistischen Controverse Gerhard Schneemann

Broschur

15.89 €

petit cirque du salut. PIERRE HENRI DUBOIS

Broschur

13.09 €

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

Broschur

18.09 €

WK 133 Graz u. Umgebung 1:50 000

Karte

12.09 €

Fahnenweihe Josef Ruederer

Broschur

15.29 €

Soehne des Herrn Budiwoj August Sperl

Broschur

36.39 €

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

Spiel

11.49 €

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

Broschur

38.29 €

Allgemeine Untersuchungsmethoden R Strohecker

Broschur

65.69 €

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

Blatt

16.89 €

Theorien Des Magnetismus Joseph Würschmidt

Broschur

64.69 €

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

Broschur

15.95 €

Shitstorm or Nonsens Peter H. Kemp

Broschur

11.70 €

EinFach Deutsch Textausgaben Georg Büchner

Broschur

9.09 €

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

72.29 €

Natural History of the West Indies Sterling A. Stoudemire

Broschur

33.69 €

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

Broschur

12.69 €