phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 64 Kč Zásilkovna 44 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Formal Methods in Computer-Aided Design

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, listopadu 2004
This book constitutes the refereed proceedings of the 5th International Conference on Formal Methods... Celý popis
? points 168 b
1 681 Kč
Skladem u dodavatele v malém množství Odesíláme za 10-15 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

TOP
Battle Angel Alita: Last Order Omnibus 1 Yukito Kishiro / Brožovaná
common.buy 425 Kč
This Is Gonna Hurt Nikki Sixx / Brožovaná
common.buy 431 Kč
Prince William: Born to be King Penny Junor / Brožovaná
common.buy 357 Kč
Manual of Systematic Eyelid Surgery J. R. O. Collin / Brožovaná
common.buy 2 192 Kč
Dispossession - The Performative in the Political Judith Butler / Pevná
common.buy 2 239 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 / Brožovaná
common.buy 781 Kč
TROUVER AA PLACE INDIVIDUS ET COMMUNAUT / Brožovaná
common.buy 557 Kč
Brangane-Figur bei Gottfried von Strassburg und Viola Alvarez Claudia Stoiser / Brožovaná
common.buy 1 004 Kč
Klick! Deutsch - Ausgabe 2007 - 7. Schuljahr Dorothee Braun / Brožovaná
common.buy 356 Kč
Group Processes John M Levine / Pevná
common.buy 5 175 Kč
Elektromagnetische Schirmung Hans A. Wolfsperger / Pevná
common.buy 6 875 Kč
Die deutsche Rechtsprechung auf dem Gebiete des Internationalen Privatrechts im Jahre 2011 Rainer Kulms / Pevná
common.buy 9 021 Kč
Připravujeme
Paris war eine Frau Andrea Weiss / Brožovaná
common.buy 481 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.

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

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