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

4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Formal Methods in Computer-Aided Design Mark D. Aagaard
Codul Libristo: 05273449
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octombrie 2002
This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer... Descrierea completă
? points 132 b
284.91 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Gesammelte Abhandlungen Zur Funktionellen Anatomie Des Bewegungsapparates Friedrich Pauwels / Carte Carte broșată
common.buy 584.06 lei
Kroki Maciej Bieszczad / Carte Carte broșată
common.buy 38.11 lei
Oeuvres Completes, Orn Es de 193 Figures... Arnaud Berquin / Carte Carte broșată
common.buy 164.42 lei
Posca akrylový popisovač 2,5 mm fluo-oranžový / Articole de papetărie Articole de papetărie
common.buy 15.36 lei
The Making of an Englishman Fred Uhlman / Carte Carte broșată
common.buy 65.33 lei
Kunst Des Zahlens Von Spannbaumen Yirgalem Tsegaye / Carte Carte broșată
common.buy 197.66 lei
GRANDMASTER OF DEMONIC CULTIVATION 01 (MO DAO ZU SHI) Mo Xiang Tong Xiu / Carte Carte
common.buy 88.07 lei
Pilíře a limity ochrany osobnosti nejen ve dvacátém prvním století Jakub Sivák / Carte Carte broșată
common.buy 202.02 lei
Top
Kutyaszív Mihail Bulgakov / Carte Copertă tare
common.buy 32.60 lei
Conni feiert Weihnachten / Conni fährt Ski (Meine Freundin Conni - ab 3), 1 Audio-CD Julia Boehme / Audio Audio CD
common.buy 38.32 lei
¡Te quiero, Papá Pig! (Un cuento de Peppa Pig) Hasbro / Carte Copertă tare
common.buy 88.07 lei
De Angelis : sobre filosofía, mercado y postmodernidad José María Ripalda / Carte Carte broșată
common.buy 107.08 lei
Les aventures de Ulises, la historia de l'Odisea, ESO. Auxiliar Anthony Lawton / Carte Carte broșată
common.buy 111.13 lei
Back For The Attack (Lim.Collector's Edition) Dokken / Audio Audio CD
common.buy 120.69 lei
Die Bekenntnisse des Hochstaplers Felix Krull, 3 DVDs Thomas Mann / Videoclip DVD
common.buy 71.14 lei
Začátečníci Raymond Carver; Jiří Hrubý / Carte Copertă tare
common.buy 63.35 lei
Pbx Per Colaggio E Compressione Massimo Castiglia / Carte Carte broșată
common.buy 369.46 lei
Beatmung basics - ASB, ATC, AutoFlow, AF, FiO2, Flow, I : E, PEEP, Pmax, Rampe, Tinsp, Trigger, Vt, 2 Medizinische Taschen-Karten / Joc / Jucărie Joc
common.buy 30.94 lei

This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems. Functional veri?cation has become one of the principal costs in a modern computer design e?ort. FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri?cation. Over the past 20 years, this area has grown from just a few academic researchers to a vibrant worldwide com- nity of people from both academia and industry. This volume includes 23 papers selected from the 47 submitted papers, each of which was reviewed by at least three program committee members. The history of FMCAD dates backto 1984, when the earliest meetings on this topic occurred as part of IFIP WG10.2.

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 Mark D. Aagaard, John W. O'Leary
Limba engleză
Legare Carte - Carte broșată
Data publicării 2002
Număr pagini 408
EAN 9783540001164
ISBN 3540001166
Codul Libristo 05273449
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 1290
Dimensiuni 155 x 235 x 23

Categorii

Technology, Engineering, Agriculture > Energy technology & engineering > Electrical engineering
Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering
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 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

Neural Networks: Computational Models and Applications Huajin Tang / Carte Copertă tare
common.buy 851.64 lei
Advances in Production Management Systems. Sustainable Production and Service Supply Chains Dimitris Kiritsis / Carte Carte broșată
common.buy 568.27 lei
X Factor Clair Berube / Carte Copertă tare
common.buy 513.32 lei
Emerald Bracelet - Book Three of the Seven Stones of Power Andy Stone / Carte Carte broșată
common.buy 165.25 lei
Small Economies & Global Economics Azman Ahmad / Carte Copertă tare
common.buy 680.25 lei
Three Reading Plays For Children Close / Carte Carte broșată
common.buy 88.28 lei
Virgin & The Dragon Hibbert / Carte Carte broșată
common.buy 86.72 lei
British librarianship and information work 2006-2010 J H Bowman / Carte Copertă tare
common.buy 241.39 lei
Beverly Bedeviled Edward R Brown / Carte Carte broșată
common.buy 59.30 lei
History of the City of New York in the Seventeenth Century Van Rensselaer / Carte Copertă tare
common.buy 220.20 lei
Healing Promises Kenneth Copeland / Carte Carte broșată
common.buy 71.56 lei
The Mercy Papers: A Memoir of Three Weeks Robin Romm / Carte Carte broșată
common.buy 77.48 lei
Introduction to Criminal Psychology Russil Durrant / Carte Copertă tare
common.buy 1 312.72 lei
A Beautiful Struggle Emily McKee / Carte Carte broșată
common.buy 56.91 lei
What Makes a Plant a Plant? Structure and Defenses Science Book for Children Children's Science & Nature Books BABY PROFESSOR / Carte Carte broșată
common.buy 79.56 lei
My Kinky, Coily Hair AISHA RICE / Carte Carte broșată
common.buy 55.15 lei
Nailed It Marian Newman / Carte Copertă tare
common.buy 149.46 lei
General Electric Review, V39, No. 3, March, 1936 General Electric Company / Carte Carte broșată
common.buy 121.73 lei
Anxiety Coloring by Number: A Coloring Book for Grown-Ups Providing Relaxation and Encouragement, Creative Activities to Help Manage Stress, Anxie Rns Coloring Studio / Carte Carte broșată
common.buy 41.95 lei
The Traumatic Surreal: Germanophone Women Artists and Surrealism After the Second World War Patricia Allmer / Carte Carte broșată
common.buy 163.48 lei
Halo Effect Anne D. LeClaire / Audiobook MP3
common.buy 226.43 lei
Top
Warriors Super Edition: Crookedstar's Promise Erin Hunter / Carte Carte broșată
common.buy 31.98 lei
Threat Abeer Baker / Carte Copertă tare
common.buy 701.44 lei
Elliptic Partial Differential Equations Vitaly Volpert / Carte Copertă tare
common.buy 794.92 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?