Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Correct Hardware Design and Verification Methods Tiziana Margaria
Koda Libristo: 01563746
Založba Springer, Berlin, november 2000
This book constitutes the refereed proceedings of the 11th IFIP WG 10.5 Advanced Research Working Co... Celoten opis
? points 118 b
48.57 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

La MLS (Mls) Annie Evearts / Knjiga Mehka
common.buy 10.86 €
Zamalowane okna Anna Limanowicz / Knjiga Trda
common.buy 7.43 €
Johannes R. Bechers Publizistik in der Sowjetunion, 1935?1945 Simone Barck / Knjiga Trda
common.buy 112.23 €
Begegnung am Donnerstag / Knjiga Mehka
common.buy 23.53 €
Die wirklich wahre Wahrheit Nanen / Knjiga Knjiga
common.buy 15.18 €
La pédagogie Montessori / Knjiga Mehka
common.buy 5.02 €
GRANDMASTER OF DEMONIC 05 Mo Xiang Tong Xiu / Knjiga Knjiga
common.buy 13.97 €
Kmalu
Kerberos in the Silver Rain AIKAWA / Knjiga Mehka
common.buy 13.97 €
Mimo wszystko Polak / Zvočnica MP3
common.buy 7.03 €
Pražský chodec proti tankům Jiří Všetečka / Knjiga Knjiga
common.buy 6.93 €
Collection Des Principaux Cartulaires Du Diocese de Troyes. 2 (Ed.1875-1890) Charles Lalore / Knjiga Mehka
common.buy 27.04 €
Peripetie české ekonomiky a měny Stanislava Janáčková / Knjiga Mehka
common.buy 5.72 €
O umění s rozumem Miroslav Zelinský; Miloslav Klíma; Miroslav Plešák / Knjiga Knjiga
common.buy 7.83 €
Einseitige Gestaltungsmöglichkeiten der Arbeitgeberseite zur Einwirkung auf Gesamtvereinbarungen im Rahmen wirtschaftlicher Krisen. André Beathalter / Knjiga Mehka
common.buy 104.19 €
Regierungskommunikation in Deutschland Jana Heinze / Knjiga Mehka
common.buy 65.57 €
Todeszauber im Klassenzimmer Wilhelm Rossi / Knjiga Mehka
common.buy 18.19 €
Musik zur Weihnachtsgeschichte nach dem Lukasevangelium (Kap.2,1-20) Ragnhild Fehling / Knjiga Mehka
common.buy 8.44 €
Universität und wissenschaftliches Wissen Eva Eirmbter-Stolbrink / Knjiga Mehka
common.buy 35.79 €
Zwischen Hafen und Horizont Michael North / Knjiga Trda
common.buy 16.79 €
Gleby nienasycone i mieszanki asfaltowe de Medeiros Melo Neto Osires de Medeiros Melo Neto / Knjiga Mehka
common.buy 33.39 €
Einleitung, UEberlieferung Horst Brunner / Knjiga Trda
common.buy 177.61 €
Juan Ramón Jiménez, 1896-1958 José Carlos Mainer Baqué / Knjiga Mehka
common.buy 55.41 €
108 miradas : del lado de fuera y del lado de dentro / Knjiga Mehka
common.buy 26.25 €
Mondjunge Viktoria Weber / Knjiga Mehka
common.buy 13.87 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Correct Hardware Design and Verification Methods
Avtor Tiziana Margaria, Tom Melham
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2001
Število strani 488
EAN 9783540425410
ISBN 3540425411
Koda Libristo 01563746
Založba Springer, Berlin
Teža 699
Mere 155 x 235 x 25

Kategorije

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer hardware
Computing & Information Technology > Operating systems
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Palgrave Handbook of Leadership in Transforming Asia Nuttawuth Muenjohn / Knjiga Trda
common.buy 295.00 €
Kmalu
Acupuncture in Neurological Conditions Val Hopwood / Knjiga Mehka
common.buy 56.31 €
PIZZARELLI FAVORITE SOLOS GTR DVD John Pizzarelli / Film DVD
common.buy 32.78 €
Universities and Regional Advantage in the Knowledge Economy Fumi Kitagawa / Knjiga Mehka
common.buy 70.90 €
Top
What Lies Beyond the Veil Adelaide Forrest / Knjiga Mehka
common.buy 9.04 €
Top
Eric Stanton and the History of the Bizarre Underground PEREZ R. / Knjiga Trda
common.buy 20.91 €
A Journey To St. Petersburg And Moscow Through Courland And Livonia Leitch Ritchie / Knjiga Mehka
common.buy 24.23 €
The Pong-pendium: A Compilation of Little Stinkers Including their Pongs, Wrongs andSongs Robin Dry / Knjiga Mehka
common.buy 9.75 €
Chironomidae Larvae, Vol. 2: Chironomini: Biology and Ecology of the Chironomini H. K. M. Moller Pillot / Knjiga Trda
common.buy 106.04 €
Conquering My Nemesis Hekkie Van Der Westhuizen / Knjiga Mehka
common.buy 12.66 €
Search for Solvency Alfred E. Eckes / Knjiga Mehka
common.buy 39.32 €
Fallen Series Megan D. Harding / Knjiga Mehka
common.buy 14.57 €
International Code of Botanical Nomenclature: Adopted by the Seventh International Botanical Congress, Stockholm, July 1950 International Botanical Congress (7th / Knjiga Trda
common.buy 34.10 €
Heart of Darkness: (Starbooks Classics Editions) Joseph Conrad / Knjiga Mehka
common.buy 6.93 €
Top
Violent and Painful Anal Sex: Five tales of brutal and degrading sodomy Blair Karina / Knjiga Mehka
common.buy 9.85 €
Helena Paderewska Maciej Siekierski / Knjiga Mehka
common.buy 25.44 €
Dick Doodles Coloring Book HILLARY LEBEN / Knjiga Mehka
common.buy 12.06 €
Environmental Engineering Maryam Marani-Barzani / Knjiga Mehka
common.buy 36.70 €
Deliberative Democracy Ian O'Flynn / Knjiga Trda
common.buy 53.09 €
Gluten Free Cookbook Cameron Herrera / Knjiga Mehka
common.buy 14.67 €
Moleskine Plánovací zápisník 2025 černý S, tvrdý / Knjiga Trda
common.buy 18.09 €
Love Lessons Alda Merini / Knjiga Mehka
common.buy 29.36 €
Proceedings of the International Conference on Information Engineering and Applications (IEA) 2012 Zhicai Zhong / Knjiga Trda
common.buy 504.07 €
Media Impact Biagi / Knjiga Mehka
common.buy 115.20 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?