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 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Formal Methods in Computer-Aided Design

Name: Formal Methods in Computer-Aided Design
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 05273449
Price: 53.79 EUR
Availability: InStock
Author: Mark D. Aagaard
ISBN: 9783540001164

4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings

Mark D. Aagaard

John W. O'Leary

Sprache

Englisch

Buch Broschur

Libristo-Code: 05273449

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Oktober 2002

This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer... Vollständige Beschreibung

Libristo-Code: 05273449

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Gesammelte Abhandlungen Zur Funktionellen Anatomie Des Bewegungsapparates Friedrich Pauwels

Broschur

110.29 €

Kroki Maciej Bieszczad

Broschur

7.49 €

De Angelis : sobre filosofía, mercado y postmodernidad José María Ripalda

Broschur

21.19 €

Kunst Des Zahlens Von Spannbaumen Yirgalem Tsegaye

Broschur

39.90 €

GRANDMASTER OF DEMONIC CULTIVATION 01 (MO DAO ZU SHI) Mo Xiang Tong Xiu

Buch

15.69 €

Pilíře a limity ochrany osobnosti nejen ve dvacátém prvním století Jakub Sivák

Broschur

40.09 €

Oeuvres Completes, Orn Es de 193 Figures... Arnaud Berquin

Broschur

31.09 €

¡Te quiero, Papá Pig! (Un cuento de Peppa Pig) Hasbro

Hardcover

15.69 €

Kutyaszív Mihail Bulgakov

Hardcover

6.49 €

The Making of an Englishman Fred Uhlman

Broschur

13.00 €

Les aventures de Ulises, la historia de l'Odisea, ESO. Auxiliar Anthony Lawton

Broschur

23.17 €

Začátečníci Raymond Carver; Jiří Hrubý

Hardcover

11.29 €

Die Bekenntnisse des Hochstaplers Felix Krull, 3 DVDs Thomas Mann

DVD

14.09 €

Pbx Per Colaggio E Compressione Massimo Castiglia

Broschur

69.79 €

Beatmung basics - ASB, ATC, AutoFlow, AF, FiO2, Flow, I : E, PEEP, Pmax, Rampe, Tinsp, Trigger, Vt, 2 Medizinische Taschen-Karten

Spiel

5.79 €

Conni feiert Weihnachten / Conni fährt Ski (Meine Freundin Conni - ab 3), 1 Audio-CD Julia Boehme

Audio CD

7.99 €

Back For The Attack (Lim.Collector's Edition) Dokken

Audio CD

22.79 €

Posca akrylový popisovač 2,5 mm fluo-oranžový

Papier- und Schreibwaren

2.69 €

This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems. Functional veri?cation has become one of the principal costs in a modern computer design e?ort. FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri?cation. Over the past 20 years, this area has grown from just a few academic researchers to a vibrant worldwide com- nity of people from both academia and industry. This volume includes 23 papers selected from the 47 submitted papers, each of which was reviewed by at least three program committee members. The history of FMCAD dates backto 1984, when the earliest meetings on this topic occurred as part of IFIP WG10.2.

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 Methods in Computer-Aided Design

Autor Mark D. Aagaard, John W. O'Leary

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2002

Anzahl der Seiten 408

EAN 9783540001164

ISBN 3540001166

Libristo-Code 05273449

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 1290

Abmessungen 155 x 235 x 23

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Energietechnik, Elektrotechnik und Energiemaschinenbau > Elektrotechnik

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik

EDV und Informationstechnologie > Grafische und digitale Media-Anwendungen > Computer-Aided Design (CAD)

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Computerhardware

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

Neural Networks: Computational Models and Applications Huajin Tang

Hardcover

160.89 €

Healing Promises Kenneth Copeland

Broschur

13.49 €

Queen's Error Henry Curties

Broschur

16.89 €

X Factor Clair Berube

Hardcover

105.69 €

Small Economies & Global Economics Azman Ahmad

Hardcover

128.49 €

Three Reading Plays For Children Close

Broschur

16.69 €

Virgin & The Dragon Hibbert

Broschur

16.39 €

British librarianship and information work 2006-2010 J H Bowman

Hardcover

45.59 €

Beverly Bedeviled Edward R Brown

Broschur

11.19 €

History of the City of New York in the Seventeenth Century Van Rensselaer

Hardcover

41.59 €

Emerald Bracelet - Book Three of the Seven Stones of Power Andy Stone

Broschur

31.19 €

The Mercy Papers: A Memoir of Three Weeks Robin Romm

Broschur

14.59 €

What Makes a Plant a Plant? Structure and Defenses Science Book for Children Children's Science & Nature Books BABY PROFESSOR

Broschur

14.99 €

My Kinky, Coily Hair AISHA RICE

Broschur

10.39 €

Nailed It Marian Newman

Hardcover

28.19 €

Anxiety Coloring by Number: A Coloring Book for Grown-Ups Providing Relaxation and Encouragement, Creative Activities to Help Manage Stress, Anxie Rns Coloring Studio

Broschur

7.89 €