Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Symbolic Simulation Methods for Industrial Formal Verification

Sprache EnglischEnglisch
Buch Broschur
Buch Symbolic Simulation Methods for Industrial Formal Verification Robert B. Jones
Libristo-Code: 06796344
Verlag Springer-Verlag New York Inc., Juni 2002
This volume contains two distinct, but related, approaches to the verification problem, both based o... Vollständige Beschreibung
? points 290 b
118.29 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Le pouvoir exécutif et l'administration Chagnollaud / Buch Broschur
common.buy 12.99 €
Wazahl Azharn / Buch Broschur
common.buy 22.29 €
Zawody. Poznaję świat. Karty obrazkowe. Kapitan Nauka wyd. 2 Opracowanie zbiorowe / Buch Hardcover
common.buy 5.99 €
Доктор Айболит Корней Чуковский / Buch Broschur
common.buy 16.09 €
Als wir Adler wurden Uticha Marmon / Buch Hardcover
common.buy 14.00 €
Edicion limitada:no olvides cumplir tus sueños OSCAR GONZALEZ / Buch Broschur
common.buy 16.79 €
Halloweeni vendég Takács Viktória / Buch Hardcover
common.buy 10.29 €
Drátky Maped 24/6 1000 ks / Papier- und Schreibwaren Papier- und Schreibwaren
common.buy 0.69 €
Vvedenie v pochvovedenie dlya jekologov Gennadij Koposov / Buch Broschur
common.buy 27.99 €
La dieta del grupo sanguíneo Jörg Zittlau / Buch Broschur
common.buy 19.39 €
Happy Valley - In einer kleinen Stadt. Staffel.1, 2 DVDs Sarah Lancashire / Video DVD
common.buy 14.59 €
Dict. Genealogique Des Familles Canadiennes. 7 (Ed.1871-1890) Cyprien Tanguay / Buch Broschur
common.buy 41.59 €
Fathers and Sons / (Otcy I Deti) Ivan Sergeevich Turgenev / Buch Broschur
common.buy 20.59 €
Nova Acta Academiae Caesareae Leopoldino Hermann Knoblauch / Buch Broschur
common.buy 44.90 €
Beitrage zur Angewandten Wirtschaftsforschung Hans J. Ramser / Buch Broschur
common.buy 75.29 €
Neuronale Muster- und Objekterkennung Rosemarie Velik / Buch Broschur
common.buy 83.09 €
Das Bund-Länder-Programm "Soziale Stadt" Thomas Belatschek / Buch Broschur
common.buy 51.99 €
Chefinnen in bodenlangen Jeansröcken Max Goldt / Buch Hardcover
common.buy 25.00 €

This volume contains two distinct, but related, approaches to the verification problem, both based on symbolic simulation. It describes new ideas that enable the use of formal methods, specifically symbolic simulation, in validating commercial hardware designs of remarkable complexity.§

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Symbolic Simulation Methods for Industrial Formal Verification
Autor Robert B. Jones
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2002
Anzahl der Seiten 151
EAN 9781461353959
ISBN 1461353955
Libristo-Code 06796344
Verlag Springer-Verlag New York Inc.
Gewicht 272
Abmessungen 155 x 235 x 10

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Schaltkreise und Komponenten (Bauteile)
Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Energietechnik, Elektrotechnik und Energiemaschinenbau > Elektrotechnik
EDV und Informationstechnologie > Grafische und digitale Media-Anwendungen > Computer-Aided Design (CAD)
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
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

Fan's View of the Super Bowl (R) James E Britton / Buch Broschur
common.buy 12.69 €
Lost Highway David Lynch / Video Blu-ray
common.buy 15.39 €
Master The Job Interview: Proven Tips And Techniques To Acing The Job Interview: Proven Tips and Techniques To Acing The Job Interview Brian Gadsen / Buch Broschur
common.buy 12.79 €
Motorcycle Tools and Safety: Technical English Basics M Rubio / Buch Broschur
common.buy 10.69 €
Your Resting Place David Towsey / Buch Broschur
common.buy 12.09 €
Tourism, Travel, and Blogging Azariah / Buch Hardcover
common.buy 242.59 €
Introduction to Dogmatic Theology Revere Franklin Weidner / Buch Hardcover
common.buy 34.79 €
Notepad Stories Usha Chandrasekharan / Buch Hardcover
common.buy 15.89 €
Voice Technology in Healthcare David Metcalf / Buch Broschur
common.buy 52.99 €
Change Dylan Anders Porter / Buch Broschur
common.buy 15.19 €
Search for Grizzly One Don H Meredith / Buch Broschur
common.buy 11.19 €
Are You a Ten? The Ten Characteristics of a Servant Leader Barbara Baggerly-Hinojosa / Buch Broschur
common.buy 16.89 €
Gibraltar: Ante la Historia, La Diplomacia y la Politica Franciso María Tubino / Buch Broschur
common.buy 23.89 €
Citizenship and Governance in the European Union Richard Bellamy / Buch Broschur
common.buy 66.09 €
Auctions, Market Mechanisms and Their Applications Peter Coles / Buch Broschur
common.buy 53.79 €
Shakespeare Survey: Volume 62, Close Encounters with Shakespeare's Text Peter Holland / Buch Hardcover
common.buy 142.29 €
Stranger Than Fiction Urban Book and MP3 Pack Phil Healey / Buch Hardcover
common.buy 9.29 €
Three Men on a Horse George Abbott / Buch Broschur
common.buy 14.09 €
Magnetic Fields of Celestial Bodies Ye Shi-hui / Buch Broschur
common.buy 118.29 €
HAPM Workmanship Checklists Construction Audit Ltd. / Buch Broschur
common.buy 349.69 €
Reading French Psychoanalysis Dana Birksted-Breen / Buch Hardcover
common.buy 292.39 €
Delaunay Tessellation Field Estimator Willem Schaap / Buch Broschur
common.buy 85.09 €
The Whispering Heart Kindle Edition Vaidehi Batra / Buch Broschur
common.buy 19.09 €
Kuki Book One - The End Lumix De Luminous / Buch Broschur
common.buy 21.99 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?