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, Berlin
SKU: 05274636
Price: 53.79 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

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

MEANDRES D ASIE DU BAIKAL AU BENGALE T2 Riegel Buch

Broschur

27.29 €

Géométrie sacrée Miranda Lundy

Broschur

9.69 €

Les Maîtres de Bayreuth Charlie Roquin

Broschur

12.19 €

LA FACE CACHEE DU MARCHE DE L'ART Georgina adam

Broschur

34.49 €

Baudolino Umberto Eco

Broschur

19.09 €

Kommunalrecht Thüringen Till Buchholz

Broschur

24.99 €

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

Broschur

7.89 €

Flash Gordon 42. Cilt Dan Barry

Broschur

23.99 €

Sirr-i Salat Imam Humeyni

Broschur

13.69 €

Programme Du Cours Des Maladies Epidemiques ROCHARD-C

Broschur

14.19 €

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

Broschur

11.19 €

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

DVD

10.89 €

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

Broschur

17.95 €

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

Noten

22.29 €

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

Broschur

26.69 €

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