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.

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ů

30 dní na vrácení zboží

Zákazníci také koupili

'Nur für Anfänger' - Klassische Gitarre (inkl. CD) Gerald Goodwin / Kniha Brožovaná
common.buy 386 Kč
ME ENAMORE DE LA VILLANA 3 INORI / Kniha Kniha
common.buy 245 Kč
Die behördliche Genehmigung im strafrechtlichen Deliktsaufbau. Steffen Fortun / Kniha Brožovaná
common.buy 1 077 Kč
Neuartige 4-Heteroaryl-Antipyrine als DPP-IV-Inhibitoren Mohamed Abdalla / Kniha Brožovaná
common.buy 732 Kč
MORIARTY EL PATRIOTA 3 TAKEUCHI / Kniha Kniha
common.buy 222 Kč
Anfangsgründe der theoretischen und angewandten Naturgeschichte der Tiere. Tl.4/2 Georg A. Suckow / Kniha Brožovaná
common.buy 1 014 Kč
Wild Day at the Zoo / Egun Zoroa Zooan - Basque Edition Victor Dias de Oliveira Santos / Kniha Pevná
common.buy 425 Kč
Souvenirs de Voyages Aux Pyrenees, En Italie Et En Espagne Vervel-M / Kniha Brožovaná
common.buy 467 Kč
La prometida JHANSIR JACKSON PAEZ BLOOM / Kniha Kniha
common.buy 380 Kč
Boxer and Brandon KIDKIDDOS BOOKS / Kniha Pevná
common.buy 599 Kč
Einsterns Schwester - Sprache und Lesen - Zu allen Ausgaben - 3./4. Schuljahr Roland Bauer / Hra/Hračka Hračka
common.buy 230 Kč
Die drei ??? und die Poker-Hölle, 1 Audio-CD Oliver Rohrbeck / Audio Audio CD
common.buy 277 Kč
La cocina andaluza Guadalquivir arriba Francisco Casas Delgado / Kniha Brožovaná
common.buy 443 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 407 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 659 Kč
Life Under The Jolly Roger Gabriel Kuhn / Kniha Brožovaná
common.buy 359 Kč
All the Finer Things Stephanie Connelley Worlton / Kniha Brožovaná
common.buy 299 Kč
Delphinus Anita Marasco Maier / Kniha Brožovaná
common.buy 224 Kč
Feminist Inquiry M.E. Hawkesworth / Kniha Brožovaná
common.buy 851 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 500 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 403 Kč
Crooked House Agatha Christie / Kniha Pevná
common.buy 574 Kč
English Verse Edward Leeson / Audio Audio CD
common.buy 315 Kč
Three Wise Men from the East PATRICK WHITWORTH / Kniha Pevná
common.buy 656 Kč
VCs of the First World War: The Naval VCs Stephen Snelling / Kniha Brožovaná
common.buy 244 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 921 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 875 Kč
Political Theory and South Asian Counter-Narratives Maidul Islam / Kniha Pevná
common.buy 4 835 Kč
Top
Crazy Quilting for Beginners Handy Pocket Guide Boggon / Kniha Brožovaná
common.buy 174 Kč
Natural History of Wine Ian Tattersall / E-kniha Adobe ePub DRM
common.buy 294 Kč
Neurology: A Case-Based Approach / Kniha Pevná
common.buy 3 021 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?