Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Formal Methods in Computer-Aided Design

Name: Formal Methods in Computer-Aided Design
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 05273449
Price: 1181 CZK
Availability: InStock
Author: Mark D. Aagaard
ISBN: 9783540001164

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

Mark D. Aagaard

John W. O'Leary

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 05273449

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, říjen 2002

This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer... Celý popis

Libristo kód: 05273449

118 b

1 181 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Gesammelte Abhandlungen Zur Funktionellen Anatomie Des Bewegungsapparates Friedrich Pauwels

Brožovaná

2 422 Kč

Pbx Per Colaggio E Compressione Massimo Castiglia

Brožovaná

6 057 Kč

Kroki Maciej Bieszczad

Brožovaná

166 Kč

Conni feiert Weihnachten / Conni fährt Ski (Meine Freundin Conni - ab 3), 1 Audio-CD Julia Boehme

Audio CD

199 Kč

Kunst Des Zahlens Von Spannbaumen Yirgalem Tsegaye

Brožovaná

812 Kč

Q je O s ocáskem Ivona Březinová

Pevná

223 Kč

Beatmung basics - ASB, ATC, AutoFlow, AF, FiO2, Flow, I : E, PEEP, Pmax, Rampe, Tinsp, Trigger, Vt, 2 Medizinische Taschen-Karten

Hra

141 Kč

Začátečníci Raymond Carver; Jiří Hrubý

Pevná

258 Kč

GRANDMASTER OF DEMONIC CULTIVATION 01 (MO DAO ZU SHI) Mo Xiang Tong Xiu

Kniha

362 Kč

Pilíře a limity ochrany osobnosti nejen ve dvacátém prvním století Jakub Sivák

Brožovaná

834 Kč

The Making of an Englishman Fred Uhlman

Brožovaná

269 Kč

Les aventures de Ulises, la historia de l'Odisea, ESO. Auxiliar Anthony Lawton

Brožovaná

510 Kč

Richard Nixon Antoine Coppolani

Brožovaná

1 057 Kč

Posca akrylový popisovač 2,5 mm fluo-oranžový

Papírenské zboží

63 Kč

Oeuvres Completes, Orn Es de 193 Figures... Arnaud Berquin

Brožovaná

689 Kč

¡Te quiero, Papá Pig! (Un cuento de Peppa Pig) Hasbro

Pevná

364 Kč

Oeuvres de Voltaire 51-52, 54-70. Correspondance. T. 59 Voltaire

Brožovaná

831 Kč

Macht unserer Gedanken Manfred Bogenschütz

Brožovaná

345 Kč

Die Bekenntnisse des Hochstaplers Felix Krull, 3 DVDs Thomas Mann

DVD

293 Kč

Trasjanka und Surzyk - gemischte weissrussisch-russische und ukrainisch-russische Rede Gerd Hentschel

Pevná

1 920 Kč

De Angelis : sobre filosofía, mercado y postmodernidad José María Ripalda

Brožovaná

490 Kč

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.