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 :-(

Formal Methods in Computer-Aided Design

Name: Formal Methods in Computer-Aided Design
Brand: Springer, Berlin
SKU: 05274636
Price: 45.49 EUR
Availability: InStock
Author: Albert Camilleri
ISBN: 9783540619376

First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996, Proceedings

Albert Camilleri

Mandayam Srivas

Sprache

Englisch

Buch Broschur

Libristo-Code: 05274636

Verlag Springer, Berlin, November 1995

This book constitutes the refereed proceedings of the First International Conference on Formal Metho... Vollständige Beschreibung

Libristo-Code: 05274636

111 b

45.49 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

LA FACE CACHEE DU MARCHE DE L'ART Georgina adam

Broschur

28.19 €

MEANDRES D ASIE DU BAIKAL AU BENGALE T2 Riegel Buch

Broschur

21.29 €

Géométrie sacrée Miranda Lundy

Broschur

7.39 €

Baudolino Umberto Eco

Broschur

14.29 €

Kommunalrecht Thüringen Till Buchholz

Broschur

24.99 €

Sprawdziany dla klasy 4 Język angielski Paszylk Bartłomiej

Broschur

1.79 €

Les Maîtres de Bayreuth Charlie Roquin

Broschur

9.39 €

Parleremo Languages Word Search Puzzles Malay - Volume 1 Erik Zidowecki

Broschur

13.49 €

Flash Gordon 42. Cilt Dan Barry

Broschur

20.39 €

Sirr-i Salat Imam Humeyni

Broschur

11.69 €

Programme Du Cours Des Maladies Epidemiques ROCHARD-C

Broschur

11.49 €

Dítěti vstříc: Teorie literatury pro děti a mládež Lukavská Jana Segi

Broschur

9.59 €

Fluch der Karibik, 1 DVD (Movie Edition) Stephen E. Rivkin

DVD

8.89 €

Darstellung der Liebe im L'Heptameron von Marguerite de Navarre Susanne Hasenstab

Broschur

20.29 €

Kinderalbum op. 39 für Klavier Peter I. Tschaikowski

Noten

17.39 €

Modern Drumming. Schlagzeugschule mit CD zum Mitspielen / Modern Drumming Grooves, m. 1 Audio-CD Diethard Stein

Broschur

24.90 €

This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Computer-Aided Design, FMCAD '96, held in Palo Alto, California, USA, in November 1996.The 25 revised full papers presented were selected from a total of 65 submissions; also included are three invited survey papers and four tutorial contributions. The volume covers all relevant formal aspects of work in computer-aided systems design, including verification, synthesis, and testing.

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 Albert Camilleri, Mandayam Srivas

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1996

Anzahl der Seiten 478

EAN 9783540619376

ISBN 3540619372

Libristo-Code 05274636

Verlag Springer, Berlin

Gewicht 628

Abmessungen 156 x 234 x 24

Kategorie

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

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

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Computerhardware

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung

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

Fundamentals of Biomechanics Dawn L. Leger

Broschur

77.39 €

God Pocket Bruce Wilkinson

Hardcover

12.29 €

Tropical Renditions Christine Bacareza Balance

Hardcover

101.79 €

Manual De Uso De La Moxibustión CHAO CHANG

Broschur

8.99 €

Faith Through Reason J Matlary

Broschur

15.49 €

Guy Free, Working on Me Shauna Hoffman

Broschur

6.19 €

Making Human Rights a Reality Emile M Hafner Burton

Broschur

32.39 €

Lectures on Nervous and Mental Diseases Charles Sinclaire Elliott

Hardcover

42.69 €

C. S. Lewis A Life Alister McGrath

Broschur

14.49 €

The Best American Poetry Heather McHugh

Hardcover

24.19 €

Memoirs of an Italian Terrorist Giorgio

Broschur

20.99 €

Models of God and Alternative Ultimate Realities Jeanine Diller

Broschur

199.39 €

Irish Fine Art in the Early Modern Period CAROLINE PEGUM

Broschur

41.29 €

The Dalton Divorce Case Anonymous

Broschur

16.19 €

How to Kindle Fire (How to Start a Fire) David Aman

Broschur

5.59 €

"Mad" Mollie - Brooklyn's Supernatural "Saint": One Woman's Bout With Possession, Clairvoyance, Multiple Personalities, And Uncanny Predictions! Sean Casteel

Broschur

13.19 €

Crystal Seer Judy Hall

Hardcover

12.49 €

Wilde About The Girl Louise Pentland

Broschur

11.19 €

Topeka School LERNER BEN

Broschur

7.29 €

Sources For Roman History, B.C. 133-170 (1903) Abel Hendy Jones Greenidge

Hardcover

37.09 €

Science, Politics, And The Agricultural Revolution In Asia Robert S Anderson

Broschur

58.59 €

Ultra-High Performance Concrete and High Performance Construction Materials Ekkehard Fehling

Broschur

33.29 €

Mystery of Hedgehog Hill Ron Dennis

Broschur

8.49 €

Why Do Leaves Change Color? Betsy Maestro

Broschur

6.19 €

Häufig gesucht

Categories

Authors

Publishers

Häufig gesucht

Waren

Categories

Authors

Publishers

Versand

Kaufberater

Formal Methods in Computer-Aided Design

First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996, Proceedings

Kunden kauften auch

Informationen zum Buch

Kategorie

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

Das könnte Sie auch interessieren

Häufig gesucht

Categories

Authors

Publishers

Formal Methods in Computer-Aided Design

First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996, Proceedings

Kunden kauften auch

Informationen zum Buch

Kategorie

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

Das könnte Sie auch interessieren

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!