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.

Correct Hardware Design and Verification Methods

IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Correct Hardware Design and Verification Methods Paolo Enrico Camurati
Libristo kód: 05274512
Nakladatelství Springer, Berlin, listopad 1994
This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Conferen... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

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

Zákazníci také koupili

de la Cession de Droits Successifs Et de Ses Effets En Droit Romain Et En Droit Francais SAIGNAT-L / Kniha Brožovaná
common.buy 402 Kč
Anfangsgründe der theoretischen und angewandten Naturgeschichte der Tiere. Tl.4/2 Georg A. Suckow / Kniha Brožovaná
common.buy 1 014 Kč
MORIARTY EL PATRIOTA 3 TAKEUCHI / Kniha Kniha
common.buy 223 Kč
Neuartige 4-Heteroaryl-Antipyrine als DPP-IV-Inhibitoren Mohamed Abdalla / Kniha Brožovaná
common.buy 732 Kč
Introduction à une histoire naturelle Claude Allègre / Kniha Kniha
common.buy 734 Kč
Wild Day at the Zoo / Egun Zoroa Zooan - Basque Edition Victor Dias de Oliveira Santos / Kniha Pevná
common.buy 425 Kč
ME ENAMORE DE LA VILLANA 3 INORI / Kniha Kniha
common.buy 246 Kč
Verbesserung der Diagnosefahigkeit bei Rechenschwache durch Erprobung des informellen Diagnoseverfahrens DUEMA am Beispiel einer Foerdergruppe Stefanie Hiller / Kniha Brožovaná
common.buy 571 Kč
La prometida JHANSIR JACKSON PAEZ BLOOM / Kniha Kniha
common.buy 381 Kč
Boxer and Brandon KIDKIDDOS BOOKS / Kniha Pevná
common.buy 599 Kč
Proces Complet de M. de Pradt, Ancien Archeveque de Malines MORET-P / Kniha Brožovaná
common.buy 489 Kč
La cocina andaluza Guadalquivir arriba Francisco Casas Delgado / Kniha Brožovaná
common.buy 441 Kč
Souvenirs de Voyages Aux Pyrenees, En Italie Et En Espagne Vervel-M / Kniha Brožovaná
common.buy 467 Kč
Die drei ??? und die Poker-Hölle, 1 Audio-CD Oliver Rohrbeck / Audio Audio CD
common.buy 277 Kč
Einsterns Schwester - Sprache und Lesen - Zu allen Ausgaben - 3./4. Schuljahr Roland Bauer / Hra/Hračka Hračka
common.buy 229 Kč
Die behördliche Genehmigung im strafrechtlichen Deliktsaufbau. Steffen Fortun / Kniha Brožovaná
common.buy 1 292 Kč
'Nur für Anfänger' - Klassische Gitarre (inkl. CD) Gerald Goodwin / Kniha Brožovaná
common.buy 381 Kč

This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design Methodologies, CHARME '95, held in Frankfurt, Germany, in October 1995.The 20 revised full papers presented were carefullyselected by the program committee and address all current aspects of research and advanced applications in the field of formal verification of hardware. Among the topics covered are model checking, theorem proving, formally verified synthesis, process algebras, finite state systems, verification environments, language containment, and VHDL.

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 Correct Hardware Design and Verification Methods
Autor Paolo Enrico Camurati, Hans Eveking
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1995
Počet stran 346
EAN 9783540603856
ISBN 3540603859
Libristo kód 05274512
Nakladatelství Springer, Berlin
Váha 478
Rozměry 155 x 233 x 18

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství
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 > Databáze > Distribuované databáze
Výpočetní a informační technologie > Informatika > Systémová analýza a systémový design
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Počítačové sítě a komunikace
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

Numicon: Investigations with Numicon Teaching Book Matthew Mills / Kniha Kroužková
common.buy 1 408 Kč
Puppy Birthday to You! (Paw Patrol) Golden Books / Kniha Pevná
common.buy 101 Kč
Tranquility, Solitude, and Other Poems Karen Lee Oliver / Kniha Pevná
common.buy 578 Kč
Life Under The Jolly Roger Gabriel Kuhn / Kniha Brožovaná
common.buy 359 Kč
Three Wise Men from the East PATRICK WHITWORTH / Kniha Pevná
common.buy 656 Kč
Communication Gregory Bateson / Kniha Brožovaná
common.buy 1 691 Kč
Art in Belfast 1760-1880 Eileen Black / Kniha Brožovaná
common.buy 1 651 Kč
Migration and the Slums Growth Sangay Tamang / Kniha Brožovaná
common.buy 813 Kč
Delphinus Anita Marasco Maier / Kniha Brožovaná
common.buy 224 Kč
Impact of War on Federal Personnel Administration Gladys M Kammerer / Kniha Brožovaná
common.buy 791 Kč
Exam Prep for The Economic Way of Thinking by Heyne, Boettke, Prychitko, 11th Ed. Boettke Prychitko Heyne / Kniha Brožovaná
common.buy 903 Kč
Foundations of C++/CLI Gordon Hogenson / Kniha Brožovaná
common.buy 1 499 Kč
Advanced Computing and Systems for Security Rituparna Chaki / Kniha Brožovaná
common.buy 1 182 Kč
What Is Symmetry in Nature? Bobbie Kalman / Kniha Pevná
common.buy 532 Kč
What Could Possibly Go Wrong?: The Chronicles of St. Mary's Book Six Jodi Taylor / Kniha Brožovaná
common.buy 308 Kč
The Valley's Legends & Legacies IV Catherine Morison Rehart / Kniha Brožovaná
common.buy 475 Kč
Crooked House Agatha Christie / Kniha Pevná
common.buy 574 Kč
English Verse Edward Leeson / Audio Audio CD
common.buy 315 Kč
Feminist Inquiry M.E. Hawkesworth / Kniha Brožovaná
common.buy 778 Kč
All the Finer Things Stephanie Connelley Worlton / Kniha Brožovaná
common.buy 299 Kč
Area 51 Nick Redfern / Kniha Brožovaná
common.buy 857 Kč
Carve the Mark 2-Book Paperback Box Set Veronica Roth / Kniha Brožovaná
common.buy 919 Kč
One Immigrant in a World of Many ANDREA BERM DEZ / Kniha Brožovaná
common.buy 423 Kč
Oil Palm Jonathan E. Robins / Kniha Brožovaná
common.buy 899 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