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

Österreichische Post 5.99 € GLS-Kurier 5.49 € DPD-Kurier 4.99 € DPD-Stelle 3.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: 51.09 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

125 b

51.09 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Baudolino Umberto Eco

Broschur

16.09 €

Kommunalrecht Thüringen Till Buchholz

Broschur

24.99 €

Géométrie sacrée Miranda Lundy

Broschur

7.39 €

MEANDRES D ASIE DU BAIKAL AU BENGALE T2 Riegel Buch

Broschur

22.79 €

LA FACE CACHEE DU MARCHE DE L'ART Georgina adam

Broschur

30.39 €

Die Reiche der Angelsachsen zur Zeit Karls des Großen Joseph Heinsch

Broschur

24.90 €

As3 Valerio Callieri

Broschur

16.79 €

profezie del mago Merlino Robert J. Stewart

Broschur

10.29 €

Reisen und Forschungen in Griechenland Ulrichs

Broschur

20.50 €

Diagnostiquer des maladies ? l'aide de techniques d'intelligence artificielle Raheel Jawad

Broschur

53.69 €

Les Maîtres de Bayreuth Charlie Roquin

Broschur

9.59 €

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

DVD

9.69 €

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

Broschur

5.59 €

Parleremo Languages Word Search Puzzles Malay - Volume 1 Erik Zidowecki

Broschur

12.49 €

Flash Gordon 42. Cilt Dan Barry

Broschur

22.79 €

Sirr-i Salat Imam Humeyni

Broschur

12.99 €

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

Broschur

24.90 €

Programme Du Cours Des Maladies Epidemiques ROCHARD-C

Broschur

13.19 €

Collection de Cartes Murales. Cartes Murales Double Face, Parlantes Au Recto SANS AUTEUR

Broschur

13.19 €

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

Broschur

10.89 €

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

Noten

18.39 €

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

Broschur

17.95 €

Gezeiten und ich Cord Schulenberg

Broschur

9.50 €

Dictionnaire de Procedure Civile Et Commerciale. Tome 2 Bioche-C

Broschur

42.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