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
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
phone Kontakt phoneWie einkaufen

Roadmap for Formal Property Verification

Sprache EnglischEnglisch
Buch Broschur
Buch Roadmap for Formal Property Verification Pallab Dasgupta
Libristo-Code: 01975380
Verlag Springer, Oktober 2010
Integrating formal property verification (FPV) into an existing design process raises several intere... Vollständige Beschreibung
? points 263 b
107.29 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

La Responsabilité Médicale: La Réparation Hatim Souktani / Buch Broschur
common.buy 59.59 €
Afirmacje - Urok osobisty i atrakcyjnosc Maxx-audio / Hörbuch MP3
common.buy 2.49 €
Kuolema keskipaivalla Morelli / Hörbuch MP3
common.buy 7.49 €
Operaciones de caja en la venta. Refuerzo IPA0040 CRUZADO REVILLA / Buch Broschur
common.buy 15.39 €
Rama Gentry / Buch Broschur
common.buy 30.79 €
Theoretische Ansatze der Marketingwissenschaft Dirk Lippold / Buch Broschur
common.buy 14.99 €
Jetzt wird gesnackt! Ute-Marion Wilkesmann / Buch Broschur
common.buy 15.95 €
Frankfurter Sagenbuch Karl Enslin / Buch Broschur
common.buy 39.90 €
Ritter Unterwegs Und Die Pflege Der Gastfreundschaft Im Alten Frankreich Hugo Oschinsky / Buch Broschur
common.buy 30.09 €

Integrating formal property verification (FPV) into an existing design process raises several interesting questions. This book develops the answers to these questions and fits them into a roadmap for formal property verification a roadmap that shows how to glue FPV technology into the traditional validation flow. The book explores the key issues in this powerful technology through simple examples that mostly require no background on formal methods.

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 Roadmap for Formal Property Verification
Autor Pallab Dasgupta
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2010
Anzahl der Seiten 252
EAN 9789048171859
ISBN 9048171857
Libristo-Code 01975380
Verlag Springer
Gewicht 434
Abmessungen 160 x 240 x 15

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Schaltkreise und Komponenten (Bauteile)
Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Technologie, allgemein > Ingenieurswesen, Maschinenbau allgemein
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 > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
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

Raising Drug Addicts Robert Mitchell / Buch Hardcover
common.buy 31.29 €
Gymnasium CF (Christopher) Forgues / Buch Broschur
common.buy 33.09 €
Popcorn Ideas for Women Groups Hampton Shirley Hampton / Buch Broschur
common.buy 16.09 €
The Life And Works Of Goethe: With Sketches Of His Age And Contemporaries V1 G. H. Lewes / Buch Broschur
common.buy 39.69 €
Economic History of a Divided Europe Ivan T. Berend / Buch Hardcover
common.buy 224.29 €
Nitra City guide / Buch Broschur
common.buy 6.79 €
Polyvinylpyrrolidone Excipients for Pharmaceuticals Volker Bühler / Buch Broschur
common.buy 115.59 €
First Generation Singular: Reactions to Living in Post-Holocaust Germany: in Poetry and Prose Shirlee Sky Hoffman / Buch Broschur
common.buy 6.99 €
Kiss The Little You Goodbye Sophia Burrell / Buch Broschur
common.buy 11.39 €
Forgery Ave Barrera / Buch Broschur
common.buy 11.39 €
Market Operations in Electric Power Systems - Forecasting, Scheduling and Risk Management Mohammad Shahidehpour / Buch Hardcover
common.buy 206.29 €
Universe in Your Hand Christophe Galfard / Buch Broschur
common.buy 12.99 €
1,227 Quite Interesting Facts to Blow Your Socks Off John Lloyd / Buch Hardcover
common.buy 13.79 €
Literacy and Democracy in Fifth-Century Athens Anna Missiou / Buch Hardcover
common.buy 85.59 €
GOBEKLI TEPE & KARAHAN TEPE WORLDS FIRST NEWMAN HUGH / Buch Broschur
common.buy 8.49 €

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?