Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Formal Methods in Computer-Aided Design

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

Limba englezăengleză
Carte Carte broșată
Carte Formal Methods in Computer-Aided Design Alan J. Hu
Codul Libristo: 01560042
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, noiembrie 2004
This book constitutes the refereed proceedings of the 5th International Conference on Formal Methods... Descrierea completă
? points 132 b
285.47 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Kde je pan Kačer? Knížka do kočárku Ingela P. Arrhemius / Carte Cărți pliante
common.buy 42.87 lei
EL FIN DE LA REVOLUCION SOCIAL BAKUNIN / Carte Carte
common.buy 80.86 lei
Maca Kizi 8 - 1. Kitap Ciltli / Carte Carte broșată
common.buy 127.38 lei
Ceci n'est pas une chanson d'amour Alessandro ROBECCHI / Carte Carte broșată
common.buy 93.66 lei
Se souvenir de la Normandie GROS / Carte Copertă tare
common.buy 162.76 lei
BABADADA, Turkce - latviesu valoda, goersel soezluk - Attēlu vārdnīca BABADADA GMBH / Carte Carte broșată
common.buy 156.21 lei
Statuts, Ordonnances Et Declaration Du Roy Du 7 Octobre 1675, Confirmative d'Iceux Louis XIV / Carte Carte broșată
common.buy 75.24 lei
Akt małżeński Knotz Ksawery / Audio Audio CD
common.buy 32.67 lei
Brangane-Figur bei Gottfried von Strassburg und Viola Alvarez Claudia Stoiser / Carte Carte broșată
common.buy 89.70 lei
Die deutsche Rechtsprechung auf dem Gebiete des Internationalen Privatrechts im Jahre 2011 Rainer Kulms / Carte Copertă tare
common.buy 1 889.67 lei
Grablege Karls des Grossen Gergely Kapolnasi / Carte Carte broșată
common.buy 89.70 lei
Elektromagnetische Schirmung Hans A. Wolfsperger / Carte Copertă tare
common.buy 1 196.95 lei
Paris war eine Frau Andrea Weiss / Carte Carte broșată
common.buy 99.90 lei
Klick! Deutsch - Ausgabe 2007 - 7. Schuljahr Dorothee Braun / Carte Carte broșată
common.buy 76.48 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Formal Methods in Computer-Aided Design
Autor Alan J. Hu, Andrew K. Martin
Limba engleză
Legare Carte - Carte broșată
Data publicării 2004
Număr pagini 448
EAN 9783540237389
ISBN 3540237380
Codul Libristo 01560042
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 1430
Dimensiuni 155 x 235 x 25

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Top
Battle Angel Alita: Last Order Omnibus 1 Yukito Kishiro / Carte Carte broșată
common.buy 87.72 lei
Leftin
Airline Aircraft Maintenance John Revere / Carte Carte broșată
common.buy 196.48 lei
Fetch Paul Richardson / Carte Carte broșată
common.buy 101.46 lei
How to draw floral mandala Jose Rodriguez / Carte Carte broșată
common.buy 57.02 lei
Kjver Discover Jesus New Testament Soft Cover: King James Version Easy Read Whitaker House / Carte Carte broșată
common.buy 87.31 lei
Annual Report of the Chief Signal Officer to the Secretary of War Signal Office / Carte Copertă tare
common.buy 163.60 lei
The Elements of Euclid Robert Simson / Carte Carte broșată
common.buy 132.37 lei
Science Fiction and Fantasy Literature Vol 1 R. Reginald / Carte Copertă tare
common.buy 345.73 lei
Blairgowrie, Kirriemuir and Glamis Ordnance Survey / Materiale tipărite Hartă
common.buy 78.05 lei
EC2ND 2005 Andrew Blyth / Carte Carte broșată
common.buy 600.60 lei
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 / Carte Carte broșată
common.buy 146.94 lei
Manual of Systematic Eyelid Surgery J. R. O. Collin / Carte Carte broșată
common.buy 424.09 lei
Top
Spot's First Christmas Eric Hill / Carte Cărți pliante
common.buy 48.80 lei
TROUVER AA PLACE INDIVIDUS ET COMMUNAUT Roullet / Carte Carte broșată
common.buy 192.84 lei
Prince William: Born to be King Penny Junor / Carte Carte broșată
common.buy 78.05 lei
Group Processes John M Levine / Carte Copertă tare
common.buy 1 145.02 lei
Jesus in Twentieth Century Literature, Art, and Movies Paul Burns / Carte Carte broșată
common.buy 312.11 lei
Dispossession - The Performative in the Political Judith Butler / Carte Copertă tare
common.buy 366.23 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?