Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Formal Methods in Computer-Aided Design

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Formal Methods in Computer-Aided Design Alan J. Hu
Libristo kod: 01560042
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, studeni 2004
This book constitutes the refereed proceedings of the 5th International Conference on Formal Methods... Cijeli opis
? points 125 b
51.70 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Statuts, Ordonnances Et Declaration Du Roy Du 7 Octobre 1675, Confirmative d'Iceux Louis XIV / Knjiga Meki uvez
common.buy 13.65 €
Ceci n'est pas une chanson d'amour Alessandro ROBECCHI / Knjiga Meki uvez
common.buy 16.99 €
Maca Kizi 8 - 1. Kitap Ciltli / Knjiga Meki uvez
common.buy 23.06 €
EL FIN DE LA REVOLUCION SOCIAL BAKUNIN / Knjiga Knjiga
common.buy 13.85 €
VALSES OP. 39 PIANO JOHANNES BRAHMS Knjiga binding.
common.buy 18.21 €
Kde je pan Kačer? Knížka do kočárku Ingela P. Arrhemius / Knjiga Leporelo
common.buy 7.68 €
Vahvad loomad. Helidega raamat / Knjiga Leporelo
common.buy 19.72 €
Se souvenir de la Normandie GROS / Knjiga Tvrdi uvez
common.buy 29.54 €
BABADADA, Turkce - latviesu valoda, goersel soezluk - Attēlu vārdnīca BABADADA GMBH / Knjiga Meki uvez
common.buy 28.33 €
Akt małżeński Knotz Ksawery / Audio Audio CD
common.buy 6.77 €
Brangane-Figur bei Gottfried von Strassburg und Viola Alvarez Claudia Stoiser / Knjiga Meki uvez
common.buy 16.18 €
Die deutsche Rechtsprechung auf dem Gebiete des Internationalen Privatrechts im Jahre 2011 Rainer Kulms / Knjiga Tvrdi uvez
common.buy 343.36 €
Grablege Karls des Grossen Gergely Kapolnasi / Knjiga Meki uvez
common.buy 16.18 €
Elektromagnetische Schirmung Hans A. Wolfsperger / Knjiga Tvrdi uvez
common.buy 216.35 €
Paris war eine Frau Andrea Weiss / Knjiga Meki uvez
common.buy 18.00 €
Klick! Deutsch - Ausgabe 2007 - 7. Schuljahr Dorothee Braun / Knjiga Meki uvez
common.buy 13.85 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Formal Methods in Computer-Aided Design
Autor Alan J. Hu, Andrew K. Martin
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2004
Broj stranica 448
EAN 9783540237389
ISBN 3540237380
Libristo kod 01560042
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 1430
Dimenzije 155 x 235 x 25

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Graphical & digital media applications > Computer-aided design (CAD)
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Computer hardware
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Top
Battle Angel Alita: Last Order Omnibus 1 Yukito Kishiro / Knjiga Meki uvez
common.buy 15.78 €
Povoljno
Airline Aircraft Maintenance John Revere / Knjiga Meki uvez
common.buy 49.48 €
Fetch Paul Richardson / Knjiga Meki uvez
common.buy 18.41 €
How to draw floral mandala Jose Rodriguez / Knjiga Meki uvez
common.buy 10.31 €
Kjver Discover Jesus New Testament Soft Cover: King James Version Easy Read Whitaker House / Knjiga Meki uvez
common.buy 15.78 €
Annual Report of the Chief Signal Officer to the Secretary of War Signal Office / Knjiga Tvrdi uvez
common.buy 29.74 €
The Elements of Euclid Robert Simson / Knjiga Meki uvez
common.buy 24.08 €
Science Fiction and Fantasy Literature Vol 1 R. Reginald / Knjiga Tvrdi uvez
common.buy 62.83 €
Blairgowrie, Kirriemuir and Glamis Ordnance Survey / Tiskanica Mapa
common.buy 13.96 €
EC2ND 2005 Andrew Blyth / Knjiga Meki uvez
common.buy 109.39 €
Spot's First Christmas Eric Hill / Knjiga Leporelo
common.buy 8.69 €
Jesus in Twentieth Century Literature, Art, and Movies Paul Burns / Knjiga Meki uvez
common.buy 56.36 €
Dispossession - The Performative in the Political Judith Butler / Knjiga Tvrdi uvez
common.buy 69.92 €
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 / Knjiga Meki uvez
common.buy 26.71 €
Group Processes John M Levine / Knjiga Tvrdi uvez
common.buy 209.17 €
Prince William: Born to be King Penny Junor / Knjiga Meki uvez
common.buy 14.26 €
TROUVER AA PLACE INDIVIDUS ET COMMUNAUT Roullet / Knjiga Meki uvez
common.buy 35.00 €
Manual of Systematic Eyelid Surgery J. R. O. Collin / Knjiga Meki uvez
common.buy 76.90 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?