Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, november 2004
This book constitutes the refereed proceedings of the 5th International Conference on Formal Methods... Celý popis
? points 125 b
51.75 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

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 pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Formal Methods in Computer-Aided Design
Autor Alan J. Hu, Andrew K. Martin
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2004
Počet strán 448
EAN 9783540237389
ISBN 3540237380
Libristo kód 01560042
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1430
Rozmery 155 x 235 x 25

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika
Výpočtové a informačné technológie > Grafické a digitálne mediálne aplikácie > Počítačom podporovaný dizajn (CAD)
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Informatika > Umelá inteligencia
Výpočtové a informačné technológie > Počítačový hardvér
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Top
Battle Angel Alita: Last Order Omnibus 1 Yukito Kishiro / Kniha Brožovaná
common.buy 14.78 €
Lacno
Airline Aircraft Maintenance John Revere / Kniha Brožovaná
common.buy 37.46 €
Fetch Paul Richardson / Kniha Brožovaná
common.buy 17.51 €
How to draw floral mandala Jose Rodriguez / Kniha Brožovaná
common.buy 9.81 €
Kjver Discover Jesus New Testament Soft Cover: King James Version Easy Read Whitaker House / Kniha Brožovaná
common.buy 15.79 €
Annual Report of the Chief Signal Officer to the Secretary of War Signal Office / Kniha Pevná
common.buy 28.35 €
The Elements of Euclid Robert Simson / Kniha Brožovaná
common.buy 22.98 €
Science Fiction and Fantasy Literature Vol 1 R. Reginald / Kniha Pevná
common.buy 59.85 €
Blairgowrie, Kirriemuir and Glamis Ordnance Survey / Tlačovina Mapa
common.buy 13.97 €
EC2ND 2005 Andrew Blyth / Kniha Brožovaná
common.buy 109.48 €
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 25.41 €
Top
Manual of Systematic Eyelid Surgery J. R. O. Collin / Kniha Brožovaná
common.buy 81.02 €
Top
Spot's First Christmas Eric Hill / Kniha Leporelo
common.buy 8.70 €
TROUVER AA PLACE INDIVIDUS ET COMMUNAUT Roullet / Kniha Brožovaná
common.buy 36.86 €
Prince William: Born to be King Penny Junor / Kniha Brožovaná
common.buy 13.06 €
Group Processes John M Levine / Kniha Pevná
common.buy 200.02 €
Jesus in Twentieth Century Literature, Art, and Movies Paul Burns / Kniha Brožovaná
common.buy 59.54 €
Dispossession - The Performative in the Political Judith Butler / Kniha Pevná
common.buy 69.98 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?