Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen.
Konto kostenlos anlegen
Österreichische Post 5.49 €
GLS-Kurier 4.99 €
DPD-Kurier 4.49 €
DPD-Stelle 3.49 €
Kontakt
Wie einkaufen
Hilfe
Versand
Österreichische Post 5.49 €
GLS-Kurier 4.99 €
DPD-Kurier 4.49 €
DPD-Stelle 3.49 €
Kaufberater
Mein Konto
▸
Leer :-(
0
Formal Methods in Computer-Aided Design
5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings
Sprache
Englisch
Englisch
Buch
Broschur
This book constitutes the refereed proceedings of the 5th International Conference on Formal Methods...
Vollständige Beschreibung
Libristo-Code: 01560042
?
111 b
111 b
45.49
€
inkl. MwSt.
Externes Lager
Wir versenden in 5-8 Tagen
Bis zu 30 Tage Rückgaberecht
Kunden kauften auch
/
Adobe ePub DRM
9.19
€
/
Broschur
11.49
€
/
Broschur
23.69
€
/
Hardcover
329.00
€
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
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
Englisch
Einband
Buch - Broschur
Datum der Veröffentlichung
2004
Anzahl der Seiten
448
EAN
9783540237389
ISBN
3540237380
Libristo-Code
01560042
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)
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 geliefertDas könnte Sie auch interessieren
/
Broschur
13.89
€
