Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Formal Methods in Computer-Aided Design

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods in Computer-Aided Design Alan J. Hu
Libristo kód: 01560042
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, listopad 2004
This book constitutes the refereed proceedings of the 5th International Conference on Formal Methods... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Kde je pan Kačer? Knížka do kočárku Ingela P. Arrhemius / Kniha Leporelo
common.buy 164 Kč
EL FIN DE LA REVOLUCION SOCIAL BAKUNIN / Kniha Kniha
common.buy 373 Kč
Maca Kizi 8 - 1. Kitap Ciltli / Kniha Brožovaná
common.buy 529 Kč
Ceci n'est pas une chanson d'amour Alessandro ROBECCHI / Kniha Brožovaná
common.buy 432 Kč
Se souvenir de la Normandie GROS / Kniha Pevná
common.buy 751 Kč
BABADADA, Turkce - latviesu valoda, goersel soezluk - Attēlu vārdnīca BABADADA GMBH / Kniha Brožovaná
common.buy 651 Kč
Statuts, Ordonnances Et Declaration Du Roy Du 7 Octobre 1675, Confirmative d'Iceux Louis XIV / Kniha Brožovaná
common.buy 315 Kč
Akt małżeński Knotz Ksawery / Audio Audio CD
common.buy 151 Kč
Brangane-Figur bei Gottfried von Strassburg und Viola Alvarez Claudia Stoiser / Kniha Brožovaná
common.buy 369 Kč
Die deutsche Rechtsprechung auf dem Gebiete des Internationalen Privatrechts im Jahre 2011 Rainer Kulms / Kniha Pevná
common.buy 8 719 Kč
Grablege Karls des Grossen Gergely Kapolnasi / Kniha Brožovaná
common.buy 369 Kč
Elektromagnetische Schirmung Hans A. Wolfsperger / Kniha Pevná
common.buy 4 943 Kč
Paris war eine Frau Andrea Weiss / Kniha Brožovaná
common.buy 410 Kč
Klick! Deutsch - Ausgabe 2007 - 7. Schuljahr Dorothee Braun / Kniha Brožovaná
common.buy 319 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Formal Methods in Computer-Aided Design
Autor Alan J. Hu, Andrew K. Martin
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2004
Počet stran 448
EAN 9783540237389
ISBN 3540237380
Libristo kód 01560042
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1430
Rozměry 155 x 235 x 25

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Výpočetní a informační technologie > Grafické a digitální mediální aplikace > Počítačem podporovaný design (CAD)
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Informatika > Umělá inteligence
Výpočetní a informační technologie > Počítačový hardware
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Top
Battle Angel Alita: Last Order Omnibus 1 Yukito Kishiro / Kniha Brožovaná
common.buy 334 Kč
Levně
Airline Aircraft Maintenance John Revere / Kniha Brožovaná
common.buy 906 Kč
Fetch Paul Richardson / Kniha Brožovaná
common.buy 424 Kč
How to draw floral mandala Jose Rodriguez / Kniha Brožovaná
common.buy 237 Kč
Kjver Discover Jesus New Testament Soft Cover: King James Version Easy Read Whitaker House / Kniha Brožovaná
common.buy 361 Kč
Annual Report of the Chief Signal Officer to the Secretary of War Signal Office / Kniha Pevná
common.buy 685 Kč
The Elements of Euclid Robert Simson / Kniha Brožovaná
common.buy 555 Kč
Science Fiction and Fantasy Literature Vol 1 R. Reginald / Kniha Pevná
common.buy 1 447 Kč
Blairgowrie, Kirriemuir and Glamis Ordnance Survey / Tiskovina Mapa
common.buy 314 Kč
EC2ND 2005 Andrew Blyth / Kniha Brožovaná
common.buy 2 646 Kč
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 / Kniha Brožovaná
common.buy 615 Kč
Top
Manual of Systematic Eyelid Surgery J. R. O. Collin / Kniha Brožovaná
common.buy 1 764 Kč
Top
Spot's First Christmas Eric Hill / Kniha Leporelo
common.buy 183 Kč
TROUVER AA PLACE INDIVIDUS ET COMMUNAUT Roullet / Kniha Brožovaná
common.buy 890 Kč
Prince William: Born to be King Penny Junor / Kniha Brožovaná
common.buy 292 Kč
Group Processes John M Levine / Kniha Pevná
common.buy 4 835 Kč
Jesus in Twentieth Century Literature, Art, and Movies Paul Burns / Kniha Brožovaná
common.buy 1 368 Kč
Dispossession - The Performative in the Political Judith Butler / Kniha Pevná
common.buy 1 606 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?