A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Formal Methods in Computer-Aided Design

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

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Formal Methods in Computer-Aided Design Alan J. Hu
Libristo kód: 01560042
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, november 2004
This book constitutes the refereed proceedings of the 5th International Conference on Formal Methods... Teljes leírás
? points 136 b
20 034 Ft
Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

Kde je pan Kačer? Knížka do kočárku Ingela P. Arrhemius / Könyv Leporelló
common.buy 2 922 Ft
EL FIN DE LA REVOLUCION SOCIAL BAKUNIN / Könyv Könyv
common.buy 5 490 Ft
Maca Kizi 8 - 1. Kitap Ciltli / Könyv Puha kötésű
common.buy 8 928 Ft
Remember That You Will Die Polyphia / Hanganyagok Audio CD
common.buy 8 040 Ft
Ceci n'est pas une chanson d'amour Alessandro ROBECCHI / Könyv Puha kötésű
common.buy 6 374 Ft
Se souvenir de la Normandie GROS / Könyv Kemény kötésű
common.buy 11 078 Ft
BABADADA, Turkce - latviesu valoda, goersel soezluk - Attēlu vārdnīca BABADADA GMBH / Könyv Puha kötésű
common.buy 10 947 Ft
Statuts, Ordonnances Et Declaration Du Roy Du 7 Octobre 1675, Confirmative d'Iceux Louis XIV / Könyv Puha kötésű
common.buy 5 253 Ft
Akt małżeński Knotz Ksawery / Hanganyagok Audio CD
common.buy 2 536 Ft
Brangane-Figur bei Gottfried von Strassburg und Viola Alvarez Claudia Stoiser / Könyv Puha kötésű
common.buy 6 314 Ft
Die deutsche Rechtsprechung auf dem Gebiete des Internationalen Privatrechts im Jahre 2011 Rainer Kulms / Könyv Kemény kötésű
common.buy 128 652 Ft
Grablege Karls des Grossen Gergely Kapolnasi / Könyv Puha kötésű
common.buy 6 314 Ft
Elektromagnetische Schirmung Hans A. Wolfsperger / Könyv Kemény kötésű
common.buy 84 034 Ft
Paris war eine Frau Andrea Weiss / Könyv Puha kötésű
common.buy 7 039 Ft
Klick! Deutsch - Ausgabe 2007 - 7. Schuljahr Dorothee Braun / Könyv Puha kötésű
common.buy 5 355 Ft

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.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Formal Methods in Computer-Aided Design
Szerző Alan J. Hu, Andrew K. Martin
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2004
Oldalszám 448
EAN 9783540237389
ISBN 3540237380
Libristo kód 01560042
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 1430
Méretek 155 x 235 x 25

Kategória

Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány > Automata irányítási gépészet > Robotika
Számítástechnika és információtechnológia > Grafikus és digitális média > Számítógép által segített tervezés / dizájn (CAD)
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia
Számítástechnika és információtechnológia > Számítógépes hardver
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Toplistás
Battle Angel Alita: Last Order Omnibus 1 Yukito Kishiro / Könyv Puha kötésű
common.buy 6 197 Ft
Olcsón
Airline Aircraft Maintenance John Revere / Könyv Puha kötésű
common.buy 13 371 Ft
Fetch Paul Richardson / Könyv Puha kötésű
common.buy 7 095 Ft
How to draw floral mandala Jose Rodriguez / Könyv Puha kötésű
common.buy 3 983 Ft
Kjver Discover Jesus New Testament Soft Cover: King James Version Easy Read Whitaker House / Könyv Puha kötésű
common.buy 6 137 Ft
Annual Report of the Chief Signal Officer to the Secretary of War Signal Office / Könyv Kemény kötésű
common.buy 11 450 Ft
The Elements of Euclid Robert Simson / Könyv Puha kötésű
common.buy 9 263 Ft
Science Fiction and Fantasy Literature Vol 1 R. Reginald / Könyv Kemény kötésű
common.buy 24 179 Ft
Blairgowrie, Kirriemuir and Glamis Ordnance Survey / Nyomtatványok Térkép
common.buy 5 295 Ft
EC2ND 2005 Andrew Blyth / Könyv Puha kötésű
common.buy 41 975 Ft
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 / Könyv Puha kötésű
common.buy 10 282 Ft
Manual of Systematic Eyelid Surgery J. R. O. Collin / Könyv Puha kötésű
common.buy 28 888 Ft
Spot's First Christmas Eric Hill / Könyv Leporelló
common.buy 3 317 Ft
TROUVER AA PLACE INDIVIDUS ET COMMUNAUT Roullet / Könyv Puha kötésű
common.buy 13 143 Ft
Prince William: Born to be King Penny Junor / Könyv Puha kötésű
common.buy 5 267 Ft
Group Processes John M Levine / Könyv Kemény kötésű
common.buy 79 922 Ft
Jesus in Twentieth Century Literature, Art, and Movies Paul Burns / Könyv Puha kötésű
common.buy 21 113 Ft
Dispossession - The Performative in the Political Judith Butler / Könyv Kemény kötésű
common.buy 26 189 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?