Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

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

Język AngielskiAngielski
Książka Miękka
Książka Correct Hardware Design and Verification Methods Tiziana Margaria
Kod Libristo: 01563746
Wydawnictwo Springer, Berlin, listopad 2000
This book constitutes the refereed proceedings of the 11th IFIP WG 10.5 Advanced Research Working Co... Cały opis
? points 125 b
218.80 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Zapowiedź
Kerberos in the Silver Rain AIKAWA / Książka Miękka
common.buy 65.27 zł
GRANDMASTER OF DEMONIC 05 Mo Xiang Tong Xiu / Książka Książka
common.buy 77.71 zł
La pédagogie Montessori / Książka Miękka
common.buy 26.26 zł
Johannes R. Bechers Publizistik in der Sowjetunion, 1935?1945 Simone Barck / Książka Twarda
common.buy 504.80 zł
Zamalowane okna Anna Limanowicz / Książka Twarda
common.buy 34.79 zł
La MLS (Mls) Annie Evearts / Książka Miękka
common.buy 49.03 zł
Begegnung am Donnerstag / Książka Miękka
common.buy 106.99 zł
Mimo wszystko Polak / Audiobook MP3
common.buy 33.58 zł
Pražský chodec proti tankům Jiří Všetečka / Książka Książka
common.buy 30.07 zł
Collection Des Principaux Cartulaires Du Diocese de Troyes. 2 (Ed.1875-1890) Charles Lalore / Książka Miękka
common.buy 123.54 zł
Peripetie české ekonomiky a měny Stanislava Janáčková / Książka Miękka
common.buy 23.76 zł
O umění s rozumem Miroslav Zelinský; Miloslav Klíma; Miroslav Plešák / Książka Książka
common.buy 32.68 zł
Einseitige Gestaltungsmöglichkeiten der Arbeitgeberseite zur Einwirkung auf Gesamtvereinbarungen im Rahmen wirtschaftlicher Krisen. André Beathalter / Książka Miękka
common.buy 448.94 zł
Regierungskommunikation in Deutschland Jana Heinze / Książka Miękka
common.buy 290.70 zł
Todeszauber im Klassenzimmer Wilhelm Rossi / Książka Miękka
common.buy 87.64 zł
Musik zur Weihnachtsgeschichte nach dem Lukasevangelium (Kap.2,1-20) Ragnhild Fehling / Książka Miękka
common.buy 38.30 zł
Universität und wissenschaftliches Wissen Eva Eirmbter-Stolbrink / Książka Miękka
common.buy 171.67 zł
Harcèlement sexuel au bureau - moi, je témoigne MARRA / Książka Miękka
common.buy 126.24 zł
Einleitung, UEberlieferung Horst Brunner / Książka Twarda
common.buy 798.52 zł
Juan Ramón Jiménez, 1896-1958 José Carlos Mainer Baqué / Książka Miękka
common.buy 259.71 zł
108 miradas : del lado de fuera y del lado de dentro / Książka Miękka
common.buy 118.52 zł
Mondjunge Viktoria Weber / Książka Miękka
common.buy 62.67 zł
Les Contours De L'Amour Jean Daniel Francois M D / Książka Miękka
common.buy 58.96 zł
Tanie
Zamilované písničky ze 60 let interpreti Různí / Audio CD Audio
common.buy 12.22 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Correct Hardware Design and Verification Methods
Autor Tiziana Margaria, Tom Melham
Język Angielski
Oprawa Książka - Miękka
Data wydania 2001
Liczba stron 488
EAN 9783540425410
ISBN 3540425411
Kod Libristo 01563746
Wydawnictwo Springer, Berlin
Waga 699
Wymiary 155 x 235 x 25

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Analiza systemowa i projektowanie
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Search for Solvency Alfred E. Eckes / Książka Miękka
common.buy 174.38 zł
A Journey To St. Petersburg And Moscow Through Courland And Livonia Leitch Ritchie / Książka Miękka
common.buy 107.59 zł
The Pong-pendium: A Compilation of Little Stinkers Including their Pongs, Wrongs andSongs Robin Dry / Książka Miękka
common.buy 43.71 zł
Conquering My Nemesis Hekkie Van Der Westhuizen / Książka Miękka
common.buy 57.55 zł
Chironomidae Larvae, Vol. 2: Chironomini: Biology and Ecology of the Chironomini H. K. M. Moller Pillot / Książka Twarda
common.buy 472.21 zł
International Code of Botanical Nomenclature: Adopted by the Seventh International Botanical Congress, Stockholm, July 1950 International Botanical Congress (7th / Książka Twarda
common.buy 137.88 zł
Palgrave Handbook of Leadership in Transforming Asia Nuttawuth Muenjohn / Książka Twarda
common.buy 1 320.28 zł
Fallen Series Megan D. Harding / Książka Miękka
common.buy 65.07 zł
Universities and Regional Advantage in the Knowledge Economy Fumi Kitagawa / Książka Miękka
common.buy 338.34 zł
Heart of Darkness: (Starbooks Classics Editions) Joseph Conrad / Książka Miękka
common.buy 30.47 zł
TOP
Violent and Painful Anal Sex: Five tales of brutal and degrading sodomy Blair Karina / Książka Miękka
common.buy 43.01 zł
Thomas Hardy Annie Macdonell / Książka Miękka
common.buy 98.67 zł
Helena Paderewska Maciej Siekierski / Książka Miękka
common.buy 120.43 zł
TOP
Eric Stanton and the History of the Bizarre Underground PEREZ R. / Książka Twarda
common.buy 99.37 zł
Russian Nuclear Orthodoxy Dmitry Adamsky / Książka Twarda
common.buy 649.40 zł
I See Zoo Animals LAUREN DICK / Książka Miękka
common.buy 46.02 zł
TOP
Penguin Readers Level 6: One Of Us Is Lying (ELT Graded Reader) MCMANUS KAREN M. / Książka Miękka
common.buy 33.38 zł
Mammals of South America Rexford D Lord / Książka Twarda
common.buy 282.68 zł
Moleskine Plánovací zápisník 2025 černý S, tvrdý / Książka Twarda
common.buy 82.82 zł
Love Lessons Alda Merini / Książka Miękka
common.buy 104.18 zł
Proceedings of the International Conference on Information Engineering and Applications (IEA) 2012 Zhicai Zhong / Książka Twarda
common.buy 2 384.35 zł
Media Impact Biagi / Książka Miękka
common.buy 513.93 zł
Regulation Theory and Sustainable Development Corinne Gendron / Książka Twarda
common.buy 995.27 zł
Evaluation in Decision Making Naftaly S. Glasman / Książka Twarda
common.buy 436.21 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?