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 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Advanced Formal Verification

Name: Advanced Formal Verification
Brand: Springer-Verlag New York Inc.
SKU: 06794578
Price: 103.16 EUR
Availability: InStock
Author: Rolf Drechsler
ISBN: 9781441954206

Rolf Drechsler

Sprache

Englisch

Buch Broschur

Libristo-Code: 06794578

Verlag Springer-Verlag New York Inc., Dezember 2010

Advanced Formal Verification shows the latest developments in the verification domain from the persp... Vollständige Beschreibung

Libristo-Code: 06794578

249 b

103.16 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Újra veled álmodom Tomor Anita

Hardcover

14.58 €

Obraz Doriana Graye Oscar Wilde

Hardcover

9.92 €

eCommerce und Kundenzufriedenheit Jan-Thomas Nielsen

Broschur

17.12 €

20 kompakte Lesetests für Klasse 2 Anne Scheller

Blatt

23.81 €

Wien Oliver Rathkolb

Broschur

10.83 €

HASTA QUE LA BODA NOS SEPARE SOSA

Broschur

28.06 €

artgerecht - Das andere Schulkinder-Buch Claudia Meitert

Hardcover

19.14 €

Schizofrenia: Teoria della Mente e Comunicazione Pragmatica Martina Barbera

Broschur

39.31 €

Wielka Przygoda. Szkoła podstawowa klasa 3 część 2. Podręcznik. Matematyka. Nowa edycja 2025-2027 Krystyna Sawicka

Broschur

6.98 €

Chat GPT Welches KI Modell passt zu dir? Alena Kerbel

Blatt

13.16 €

I 13 Lignaggi Satanici - Spianare la strada per l'inferno: La causa di molte disgrazie umane La fine del nostro diritto individuale all'autodeterminaz Robin De Ruiter

Broschur

20.36 €

Minecraft. Wioska Brooks Max

Broschur

9.82 €

L'Invitation - Une nouvelle erotique Lind

MP3

3.94 €

Fényből és sárból - Böjte Csaba élete Csender Levente

Hardcover

15.80 €

Comprendre et guider le jeune enfant - à la maison, à la garderie Bourcier Buch

Broschur

14.28 €

Seuls 10/La machine a demourir Vehlmann Fabien

Hardcover

17.73 €

La magie de Saint-Pétersbourg Vladimir Fedorovski

Broschur

32.62 €

Le Serapeon, Episode de l'Histoire Du Ive Siecle Brasseur De Bourbourg-E-C

Broschur

33.74 €

Europa H. A. Daniel

Broschur

22.79 €

Najdi mě André Aciman

Hardcover

10.73 €

Meine wilde Schönheit Martina Stubenschrott

Hardcover

20.66 €

Aus der Geschichte der Logopädie Alexandra Thiele

Broschur

50.05 €

The Breed Is Funkin' Peter Weniger

Noten

35.76 €

VIBRATORIUM Tom Kenyon

Audio CD

16.81 €

Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts describe the underlying methods of today's verification tools and describe various scenarios from industrial practice. In the first part of the book the core techniques of today's formal verification tools, such as SAT and BDDs are addressed. In addition, multipliers, which are known to be difficult, are studied. The second part gives insight in professional tools and the underlying methodology, such as property checking and assertion based verification. Finally, analog components have to be considered to cope with complete system on chip designs. §

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

Autor Rolf Drechsler

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2010

Anzahl der Seiten 250

EAN 9781441954206

ISBN 1441954201

Libristo-Code 06794578

Verlag Springer-Verlag New York Inc.

Gewicht 860

Abmessungen 155 x 235 x 16

Kategorie

EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker

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

Philosophie und Religion > Philosophie

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