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

11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Correct Hardware Design and Verification Methods Tiziana Margaria
Libristo kód: 01563746
Nakladatelství Springer, Berlin, listopad 2000
This book constitutes the refereed proceedings of the 11th IFIP WG 10.5 Advanced Research Working Co... 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

Připravujeme
Kerberos in the Silver Rain AIKAWA / Kniha Brožovaná
common.buy 373 Kč
GRANDMASTER OF DEMONIC 05 Mo Xiang Tong Xiu / Kniha Kniha
common.buy 443 Kč
La pédagogie Montessori / Kniha Brožovaná
common.buy 150 Kč
Johannes R. Bechers Publizistik in der Sowjetunion, 1935?1945 Simone Barck / Kniha Pevná
common.buy 2 732 Kč
Zamalowane okna Anna Limanowicz / Kniha Pevná
common.buy 239 Kč
La MLS (Mls) Annie Evearts / Kniha Brožovaná
common.buy 264 Kč
Begegnung am Donnerstag / Kniha Brožovaná
common.buy 573 Kč
Mimo wszystko Polak / Audiokniha MP3
common.buy 192 Kč
Collection Des Principaux Cartulaires Du Diocese de Troyes. 2 (Ed.1875-1890) Charles Lalore / Kniha Brožovaná
common.buy 674 Kč
Peripetie české ekonomiky a měny Stanislava Janáčková / Kniha Brožovaná
common.buy 120 Kč
O umění s rozumem Miroslav Zelinský; Miloslav Klíma; Miroslav Plešák / Kniha Kniha
common.buy 172 Kč
Einseitige Gestaltungsmöglichkeiten der Arbeitgeberseite zur Einwirkung auf Gesamtvereinbarungen im Rahmen wirtschaftlicher Krisen. André Beathalter / Kniha Brožovaná
common.buy 2 565 Kč
Regierungskommunikation in Deutschland Jana Heinze / Kniha Brožovaná
common.buy 1 587 Kč
Todeszauber im Klassenzimmer Wilhelm Rossi / Kniha Brožovaná
common.buy 501 Kč
Musik zur Weihnachtsgeschichte nach dem Lukasevangelium (Kap.2,1-20) Ragnhild Fehling / Kniha Brožovaná
common.buy 206 Kč
Universität und wissenschaftliches Wissen Eva Eirmbter-Stolbrink / Kniha Brožovaná
common.buy 981 Kč
Harcèlement sexuel au bureau - moi, je témoigne MARRA / Kniha Brožovaná
common.buy 721 Kč
Einleitung, UEberlieferung Horst Brunner / Kniha Pevná
common.buy 4 323 Kč
Juan Ramón Jiménez, 1896-1958 José Carlos Mainer Baqué / Kniha Brožovaná
common.buy 1 484 Kč
108 miradas : del lado de fuera y del lado de dentro / Kniha Brožovaná
common.buy 640 Kč
Mondjunge Viktoria Weber / Kniha Brožovaná
common.buy 337 Kč
Les Contours De L'Amour Jean Daniel Francois M D / Kniha Brožovaná
common.buy 320 Kč
Levně
Zamilované písničky ze 60 let interpreti Různí / Audio Audio CD
common.buy 70 Kč
Apple de Tim Cook, La Leander Kahney / Kniha Brožovaná
common.buy 603 Kč

This book constitutes the refereed proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2001, held in Livingston, Scotland, UK in September 2001.The 28 revised full papers and eight short papers presented together with two invited papers and one special paper were carefully reviewed and selected from 56 submissions. The book offers topical sections on model checking, clocking issues, theorem proving with higher order logics, hardware compilation, tools, component verification, case studies, algorithm verification, and duration calculus.

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 Tiziana Margaria, Tom Melham
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2001
Počet stran 488
EAN 9783540425410
ISBN 3540425411
Libristo kód 01563746
Nakladatelství Springer, Berlin
Váha 699
Rozměry 155 x 235 x 25

Kategorie

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 > 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ý hardware
Výpočetní a informační technologie > Operační systémy
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

Search for Solvency Alfred E. Eckes / Kniha Brožovaná
common.buy 956 Kč
A Journey To St. Petersburg And Moscow Through Courland And Livonia Leitch Ritchie / Kniha Brožovaná
common.buy 615 Kč
The Pong-pendium: A Compilation of Little Stinkers Including their Pongs, Wrongs andSongs Robin Dry / Kniha Brožovaná
common.buy 237 Kč
Conquering My Nemesis Hekkie Van Der Westhuizen / Kniha Brožovaná
common.buy 308 Kč
Chironomidae Larvae, Vol. 2: Chironomini: Biology and Ecology of the Chironomini H. K. M. Moller Pillot / Kniha Pevná
common.buy 2 579 Kč
International Code of Botanical Nomenclature: Adopted by the Seventh International Botanical Congress, Stockholm, July 1950 International Botanical Congress (7th / Kniha Pevná
common.buy 750 Kč
Palgrave Handbook of Leadership in Transforming Asia Nuttawuth Muenjohn / Kniha Pevná
common.buy 7 201 Kč
Fallen Series Megan D. Harding / Kniha Brožovaná
common.buy 354 Kč
Universities and Regional Advantage in the Knowledge Economy Fumi Kitagawa / Kniha Brožovaná
common.buy 1 933 Kč
Heart of Darkness: (Starbooks Classics Editions) Joseph Conrad / Kniha Brožovaná
common.buy 166 Kč
Top
Violent and Painful Anal Sex: Five tales of brutal and degrading sodomy Blair Karina / Kniha Brožovaná
common.buy 233 Kč
Thomas Hardy Annie Macdonell / Kniha Brožovaná
common.buy 538 Kč
Helena Paderewska Maciej Siekierski / Kniha Brožovaná
common.buy 647 Kč
Top
Eric Stanton and the History of the Bizarre Underground PEREZ R. / Kniha Pevná
common.buy 496 Kč
Russian Nuclear Orthodoxy Dmitry Adamsky / Kniha Pevná
common.buy 3 553 Kč
I See Zoo Animals LAUREN DICK / Kniha Brožovaná
common.buy 250 Kč
Top
Penguin Readers Level 6: One Of Us Is Lying (ELT Graded Reader) MCMANUS KAREN M. / Kniha Brožovaná
common.buy 178 Kč
Mammals of South America Rexford D Lord / Kniha Pevná
common.buy 1 543 Kč
Moleskine Plánovací zápisník 2025 černý S, tvrdý / Kniha Pevná
common.buy 441 Kč
Love Lessons Alda Merini / Kniha Brožovaná
common.buy 569 Kč
Proceedings of the International Conference on Information Engineering and Applications (IEA) 2012 Zhicai Zhong / Kniha Pevná
common.buy 13 622 Kč
Media Impact Biagi / Kniha Brožovaná
common.buy 2 803 Kč
Regulation Theory and Sustainable Development Corinne Gendron / Kniha Pevná
common.buy 5 435 Kč
Evaluation in Decision Making Naftaly S. Glasman / Kniha Pevná
common.buy 2 357 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?