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č 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č
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 181 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

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

Zákazníci také koupili

Vahvad loomad. Helidega raamat / Kniha Leporelo
common.buy 507 Kč
Ceci n'est pas une chanson d'amour Alessandro ROBECCHI / Kniha Brožovaná
common.buy 404 Kč
Pa svenska! Ake Andersson / Kniha Brožovaná
common.buy 632 Kč
Schockdiagnose ALS. Leben und Pflegen: Zwei Seiten einer unheilbaren Krankheit Burkhard Linke / E-kniha Adobe ePub DRM
common.buy 266 Kč
VALSES OP. 39 PIANO JOHANNES BRAHMS Kniha binding.
common.buy 436 Kč
Se souvenir de la Normandie GROS / Kniha Pevná
common.buy 722 Kč
Maca Kizi 8 - 1. Kitap Ciltli / Kniha Brožovaná
common.buy 461 Kč
EL FIN DE LA REVOLUCION SOCIAL BAKUNIN / Kniha Kniha
common.buy 369 Kč
Aritmetica Generale E Algebra Elementare (1902) Giuseppe Peano / Kniha Brožovaná
common.buy 554 Kč
Kde je pan Kačer? Knížka do kočárku Ingela P. Arrhemius / Kniha Leporelo
common.buy 192 Kč
Elektromagnetische Schirmung Hans A. Wolfsperger / Kniha Pevná
common.buy 4 941 Kč
BABADADA, Turkce - latviesu valoda, goersel soezluk - Attēlu vārdnīca BABADADA GMBH / Kniha Brožovaná
common.buy 668 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 142 Kč
Ludwig Boerne Heinrich Heine / Kniha Brožovaná
common.buy 159 Kč
Comic-Style Markus Herschbach / Kniha Brožovaná
common.buy 309 Kč
Churchill ROY JENKINS / Kniha Brožovaná
common.buy 940 Kč
Was ist ein gutes Leben? Karlheinz Fuchs / Kniha Brožovaná
common.buy 199 Kč
Conseils Aux Electeurs, Par Un Vieux Patriote E Chevallier / Kniha Brožovaná
common.buy 263 Kč
Ganz Helgoland Feodor Von Wehl / Kniha Brožovaná
common.buy 267 Kč
Brangane-Figur bei Gottfried von Strassburg und Viola Alvarez Claudia Stoiser / Kniha Brožovaná
common.buy 369 Kč
Klick! Deutsch - Ausgabe 2007 - 7. Schuljahr Dorothee Braun / Kniha Brožovaná
common.buy 318 Kč
Die deutsche Rechtsprechung auf dem Gebiete des Internationalen Privatrechts im Jahre 2011 Rainer Kulms / Kniha Pevná
common.buy 8 710 Kč
Paris war eine Frau Andrea Weiss / Kniha Brožovaná
common.buy 410 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

Database and Expert Systems Applications Sourav S. Bhowmick / Kniha Brožovaná
common.buy 3 283 Kč
Proceedings of the American Antiquarian Society, Volume 115 Wilfrid Fonvielle / Kniha Pevná
common.buy 881 Kč
Looking Seaward Again Walter Runciman / Kniha Brožovaná
common.buy 267 Kč
Cable Television Felix Chin / Kniha Brožovaná
common.buy 2 356 Kč
Prophetic Conflict James L. Crenshaw / Kniha Pevná
common.buy 2 504 Kč
Blairgowrie, Kirriemuir and Glamis Ordnance Survey / Tiskovina Mapa
common.buy 314 Kč
Science Fiction and Fantasy Literature Vol 1 R. Reginald / Kniha Pevná
common.buy 1 391 Kč
The Elements of Euclid Robert Simson / Kniha Brožovaná
common.buy 555 Kč
Annual Report of the Chief Signal Officer to the Secretary of War Signal Office / Kniha Pevná
common.buy 685 Kč
Top
Battle Angel Alita: Last Order Omnibus 1 Yukito Kishiro / Kniha Brožovaná
common.buy 343 Kč
Kjver Discover Jesus New Testament Soft Cover: King James Version Easy Read Whitaker House / Kniha Brožovaná
common.buy 361 Kč
How to draw floral mandala Jose Rodriguez / Kniha Brožovaná
common.buy 237 Kč
Belle Langley: And Other Stories (1877) Popular American Authors / Kniha Brožovaná
common.buy 489 Kč
Ridgway of Montana William MacLeod Raine / Kniha Pevná
common.buy 924 Kč
Fetch Paul Richardson / Kniha Brožovaná
common.buy 440 Kč
Levně
Airline Aircraft Maintenance John Revere / Kniha Brožovaná
common.buy 482 Kč
Physiology And Pharmacology of Cardio-Respiratory Control Albert Dahan / Kniha Pevná
common.buy 2 356 Kč
Group Processes John M Levine / Kniha Pevná
common.buy 5 651 Kč
TROUVER AA PLACE INDIVIDUS ET COMMUNAUT Roullet / Kniha Brožovaná
common.buy 861 Kč
Dispossession - The Performative in the Political Judith Butler / Kniha Pevná
common.buy 1 556 Kč
Top
Spot's First Christmas Eric Hill / Kniha Leporelo
common.buy 182 Kč
Methuen Drama Book of Duologues for Young Actors Anne Harvey / Kniha Brožovaná
common.buy 623 Kč
Manual of Systematic Eyelid Surgery J. R. O. Collin / Kniha Brožovaná
common.buy 1 805 Kč
Jesus in Twentieth Century Literature, Art, and Movies Paul Burns / Kniha Brožovaná
common.buy 1 315 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?