Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.99 €
phone Kontakt phoneWie einkaufen

Formal Methods in Computer-Aided Design

5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Methods in Computer-Aided Design Alan J. Hu
Libristo-Code: 01560042
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, November 2004
This book constitutes the refereed proceedings of the 5th International Conference on Formal Methods... Vollständige Beschreibung
? points 141 b
58.57 €
Externes Lager in kleiner Menge Wir versenden in 11-15 Tagen
Griechenland Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Kde je pan Kačer? Knížka do kočárku Ingela P. Arrhemius / Buch Leporello
common.buy 8.20 €
EL FIN DE LA REVOLUCION SOCIAL BAKUNIN / Buch Buch
common.buy 15.39 €
Maca Kizi 8 - 1. Kitap Ciltli / Buch Broschur
common.buy 23.10 €
Ceci n'est pas une chanson d'amour Alessandro ROBECCHI / Buch Broschur
common.buy 17.93 €
Se souvenir de la Normandie GROS / Buch Hardcover
common.buy 31.10 €
BABADADA, Turkce - latviesu valoda, goersel soezluk - Attēlu vārdnīca BABADADA GMBH / Buch Broschur
common.buy 29.89 €
Statuts, Ordonnances Et Declaration Du Roy Du 7 Octobre 1675, Confirmative d'Iceux Louis XIV / Buch Broschur
common.buy 14.38 €
Akt małżeński Knotz Ksawery / Audio Audio CD
common.buy 6.27 €
Brangane-Figur bei Gottfried von Strassburg und Viola Alvarez Claudia Stoiser / Buch Broschur
common.buy 16.21 €
Die deutsche Rechtsprechung auf dem Gebiete des Internationalen Privatrechts im Jahre 2011 Rainer Kulms / Buch Hardcover
common.buy 360.98 €
Grablege Karls des Grossen Gergely Kapolnasi / Buch Broschur
common.buy 16.21 €
Elektromagnetische Schirmung Hans A. Wolfsperger / Buch Hardcover
common.buy 232.88 €
Paris war eine Frau Andrea Weiss / Buch Broschur
common.buy 18.03 €
Klick! Deutsch - Ausgabe 2007 - 7. Schuljahr Dorothee Braun / Buch Broschur
common.buy 16.10 €

This book constitutes the refereed proceedings of the 5th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2004, held in Austin, Texas, USA in November 2004.§The 29 revised full papers presented together with the abstract of an invited talk were carefully reviewed and selected from 69 submissions. The papers address all current issues on tools, methods, algorithms, and foundational theory for the application of formalized reasoning to all aspects of computer-aided systems design, including specification, verification, synthesis, and testing.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
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 Alan J. Hu, Andrew K. Martin
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2004
Anzahl der Seiten 448
EAN 9783540237389
ISBN 3540237380
Libristo-Code 01560042
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1430
Abmessungen 155 x 235 x 25

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
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 > Informatik > Künstliche Intelligenz
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

Top
Battle Angel Alita: Last Order Omnibus 1 Yukito Kishiro / Buch Broschur
common.buy 16.71 €
Günstig
Airline Aircraft Maintenance John Revere / Buch Broschur
common.buy 37.49 €
Fetch Paul Richardson / Buch Broschur
common.buy 19.35 €
How to draw floral mandala Jose Rodriguez / Buch Broschur
common.buy 10.83 €
Kjver Discover Jesus New Testament Soft Cover: King James Version Easy Read Whitaker House / Buch Broschur
common.buy 15.80 €
Annual Report of the Chief Signal Officer to the Secretary of War Signal Office / Buch Hardcover
common.buy 31.20 €
The Elements of Euclid Robert Simson / Buch Broschur
common.buy 25.33 €
Science Fiction and Fantasy Literature Vol 1 R. Reginald / Buch Hardcover
common.buy 66.07 €
Blairgowrie, Kirriemuir and Glamis Ordnance Survey / Drucksachen Karte
common.buy 13.98 €
EC2ND 2005 Andrew Blyth / Buch Broschur
common.buy 114.71 €
Commerce and Navigation of the Erythraean Sea; Being a Translation of the Periplus Maris Erythraei, by an Anonymous Writer, and of Arrian's Account of nonymous / Buch Broschur
common.buy 28.06 €
Manual of Systematic Eyelid Surgery J. R. O. Collin / Buch Broschur
common.buy 81.07 €
Top
Spot's First Christmas Eric Hill / Buch Leporello
common.buy 8.71 €
TROUVER AA PLACE INDIVIDUS ET COMMUNAUT Roullet / Buch Broschur
common.buy 36.88 €
Prince William: Born to be King Penny Junor / Buch Broschur
common.buy 13.98 €
Group Processes John M Levine / Buch Hardcover
common.buy 218.80 €
Jesus in Twentieth Century Literature, Art, and Movies Paul Burns / Buch Broschur
common.buy 65.56 €
Dispossession - The Performative in the Political Judith Butler / Buch Hardcover
common.buy 77.01 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

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

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?