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.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Advanced Formal Verification

Name: Advanced Formal Verification
Brand: Springer-Verlag New York Inc.
SKU: 06794578
Price: 107.29 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

262 b

107.29 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Obraz Doriana Graye Oscar Wilde

Hardcover

10.79 €

20 kompakte Lesetests für Klasse 2 Anne Scheller

Blatt

27.19 €

eCommerce und Kundenzufriedenheit Jan-Thomas Nielsen

Broschur

18.96 €

Wien Oliver Rathkolb

Broschur

10.49 €

Zeszyt do nut A5 16 kartek 10 sztuk mix

Papier- und Schreibwaren

5.19 €

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

Broschur

6.79 €

Camino de Sirga Jesús Moncada

Broschur

21.49 €

HASTA QUE LA BODA NOS SEPARE SOSA

Broschur

26.49 €

Újra veled álmodom Tomor Anita

Hardcover

15.09 €

Chat GPT Welches KI Modell passt zu dir? Alena Kerbel

Blatt

12.95 €

artgerecht - Das andere Schulkinder-Buch Claudia Meitert

Hardcover

22.00 €

Schizofrenia: Teoria della Mente e Comunicazione Pragmatica Martina Barbera

Broschur

40.99 €

Harahara Sensei - Die tickende Zeitbombe 02 Yanagi Takakuchi

Broschur

8.99 €

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

Hardcover

16.29 €

Seuls 10/La machine a demourir Vehlmann Fabien

Hardcover

15.69 €

L'Invitation - Une nouvelle erotique Lind

MP3

3.29 €

LOS MAESTROS DIVINOS ORACULO Kyle Gray

Buch

25.79 €

Meine wilde Schönheit Martina Stubenschrott

Hardcover

22.99 €

Historia, novela y tragedia Carlos García Gual

Broschur

14.09 €

VIBRATORIUM Tom Kenyon

Audio CD

19.99 €

The Breed Is Funkin' Peter Weniger

Noten

32.69 €

Filon de Gerard: Les Chercheurs d'Or de l'Afrique Australe Andre Laurie

Broschur

26.79 €

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

Broschur

30.89 €

Kultursensible Gesundheitsversorgung Brigitte Link

Broschur

49.19 €

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

Das könnte Sie auch interessieren

Altering Nature B. A. Lustig

Buch

167.49 €

Journey to Healing & Cherry Popsicles Too Kyle Duvall

Broschur

21.09 €

With Her Songs: The Atlantic Albums, 1969-1978 Roberta Flack

Audio CD

79.99 €

LIFE THAT WOKE ME UP WAS MY OW Nancy Swisher

Broschur

16.79 €

Inside Out W Atkins

Broschur

6.79 €

Everlasting Arms Dorita Lynn Kornelsen

Broschur

6.49 €

Paediatric Dentistry Richard Welbury

Broschur

94.09 €

History of Landholding in England Joseph Fisher

Broschur

12.29 €

Harold the Bionic Hamster Philip Watson

Broschur

12.29 €

Photo-catalytic Control Technologies of Flue Gas Pollutants Jiang Wu

Hardcover

107.29 €

Dancing Through the Storm Felicia Allen

Broschur

9.49 €

Great Atlas of Iran & the World 1:4 500 000 Glenn Riedel

Broschur

74.09 €

The Most Iconic People's Names Begin with C Madrats Ent

Broschur

9.59 €

Guilty Greg Zemlansky

Broschur

10.49 €

Erythrocytes of the Rhesus and Cynomolgus Monkeys Chester A. Glomski

Broschur

97.19 €

Italy, Handbook for Travellers: Northern Italy, Including Leghorn, Florence, Ravenna, the Island of Corsica, and Routes Through France, Switzerland, a Karl Baedeker (Firm)

Broschur

31.09 €