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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Formal System Verification

Name: Formal System Verification
Brand: Springer International Publishing AG
SKU: 16106137
Price: 128.69 EUR
Availability: InStock
Author: Rolf Drechsler
ISBN: 9783319576831

Rolf Drechsler

Sprache

Englisch

Buch Hardcover

Libristo-Code: 16106137

Verlag Springer International Publishing AG, Juli 2017

This book provides readers with a comprehensive introduction to the formal verification of hardware... Vollständige Beschreibung

Libristo-Code: 16106137

315 b

128.69 € inkl. MwSt.

Externes Lager Wir versenden in 10-13 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Contes Allemands 2e Edition SIMROCK-K

Broschur

22.99 €

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). The authors demonstrate at different abstraction layers how formal methods can help to ensure functional correctness. Coverage includes the latest academic research results, as well as descriptions of industrial tools and case studies.

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 Formal System Verification

Autor Rolf Drechsler

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2017

Anzahl der Seiten 182

EAN 9783319576831

ISBN 3319576836

Libristo-Code 16106137

Verlag Springer International Publishing AG

Gewicht 4262

Abmessungen 155 x 235 x 18

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