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.49 €
phone Kontakt phoneWie einkaufen

Formal System Verification

State-of the-Art and Future Trends

Sprache EnglischEnglisch
Buch Broschur
Buch Formal System Verification Rolf Drechsler
Libristo-Code: 20153455
Verlag Springer International Publishing AG, August 2018
This book provides readers with a comprehensive introduction to the formal verification of hardware... Vollständige Beschreibung
? points 326 b
133.29 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 11-15 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

LIGA DE LA JUSTICIA NUM. 78/23 (RENACIMIENTO) Priest / Buch Broschur
common.buy 6.29 €
Buzzsaw Joint Cut 05+06 / Audio Audio CD
common.buy 19.59 €
Casos prácticos de ingeniería financiera / Buch Broschur
common.buy 92.09 €
Moja i twoja astrologia. Jak zrozumieć i poprawić relacje z innymi dzięki znakom zodiaku wyd. 2022 Gary Goldschneider / Buch Hardcover
common.buy 15.69 €
L'aventure spirituelle des sociétés initiatiques - des origines jusqu'à nos jours Caradeau / Buch Broschur
common.buy 31.19 €
Memoires, 1706-1742. Tome 1 WILHELMINE FRIEDERIK / Buch Broschur
common.buy 28.19 €
Unverschmerzt Dietmar Albrecht / Buch Broschur
common.buy 21.89 €
La Traduction conomique Alice Beuchat / Buch Broschur
common.buy 63.29 €
Tanz und Tod in Kunst und Literatur. Franz Link / Buch Broschur
common.buy 132.99 €
Das UNESCO- Weltkulturerbe "Stelling van Amsterdam". Julia Seelig / Buch Hardcover
common.buy 34.00 €

This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level (RTL).

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 Formal System Verification
Autor Rolf Drechsler
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2018
Anzahl der Seiten 182
EAN 9783319862231
ISBN 9783319862231
Libristo-Code 20153455
Verlag Springer International Publishing AG
Gewicht 454
Abmessungen 155 x 235 x 12

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Schaltkreise und Komponenten (Bauteile)
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

Student Solution Manual for Differential Equations Barbara D. MacCluer / Buch Broschur
common.buy 44.29 €
The Boy Who Invented Television Schatzkin / Buch Broschur
common.buy 22.99 €
Grandfather's Lessons Jacques Paepin / Buch Hardcover
common.buy 23.19 €
Secret History of the Mongol Queens Jack Weatherford / E-Book Adobe ePub DRM
common.buy 16.89 €
Top
Animal Orchestra Plays Tchaikovsky Sam Taplin / Buch Leporello
common.buy 14.69 €
Classical Remix For The Recorder CARTER / Buch Broschur
common.buy 12.69 €
Cross-border Oil and Gas Pipelines and the Role of the Transit Country James Omonbude / Buch Hardcover
common.buy 57.79 €
Electricity For The Farm Frederick Irving Anderson / Buch Broschur
common.buy 33.99 €
Economic Growth Theory Wei-Bin Zhang / Buch Broschur
common.buy 65.49 €
Octopus Pie Volume 5 Meredith Gran / Buch Broschur
common.buy 17.09 €
Differentiation and Integration BOLTON / Buch Hardcover
common.buy 194.39 €
Who Am I? Rev. Pablo Arocha / Buch Broschur
common.buy 11.89 €
Basic Microbiology for Drinking Water Dennis Hill / Buch Broschur
common.buy 117.79 €
Cambridge Primary Path Level 6 Student's Book with My Creative Journal, Cue Cards and eBook Susannah Reed / Buch Broschur
common.buy 46.19 €
Dalmatian Training Vol 3 - Taking care of your Dalmatian: Nutrition, common diseases and general care of your Dalmatian Claudia Kaiser / E-Book Adobe ePub DRM
common.buy 5.09 €
Wives without Husbands Anna R. Igra / Buch Broschur
common.buy 44.39 €

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?