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 Kurier 12.99 zł Punkt DPD 11.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
222.70 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Zapowiedź
Kerberos in the Silver Rain AIKAWA / Książka Miękka
common.buy 60.51 zł
GRANDMASTER OF DEMONIC 05 Mo Xiang Tong Xiu / Książka Książka
common.buy 68.58 zł
La pédagogie Montessori / Książka Miękka
common.buy 25.81 zł
Johannes R. Bechers Publizistik in der Sowjetunion, 1935?1945 Simone Barck / Książka Twarda
common.buy 513.79 zł
Zamalowane okna Anna Limanowicz / Książka Twarda
common.buy 41.84 zł
La MLS (Mls) Annie Evearts / Książka Miękka
common.buy 49.90 zł
Begegnung am Donnerstag / Książka Miękka
common.buy 108.90 zł
Pražský chodec proti tankům Jiří Všetečka / Książka Książka
common.buy 30.10 zł
Collection Des Principaux Cartulaires Du Diocese de Troyes. 2 (Ed.1875-1890) Charles Lalore / Książka Miękka
common.buy 109.40 zł
Peripetie české ekonomiky a měny Stanislava Janáčková / Książka Miękka
common.buy 24.18 zł
O umění s rozumem Miroslav Zelinský; Miloslav Klíma; Miroslav Plešák / Książka Książka
common.buy 33.26 zł
Einseitige Gestaltungsmöglichkeiten der Arbeitgeberseite zur Einwirkung auf Gesamtvereinbarungen im Rahmen wirtschaftlicher Krisen. André Beathalter / Książka Miękka
common.buy 502.26 zł
Regierungskommunikation in Deutschland Jana Heinze / Książka Miękka
common.buy 295.57 zł
Todeszauber im Klassenzimmer Wilhelm Rossi / Książka Miękka
common.buy 89.09 zł
Musik zur Weihnachtsgeschichte nach dem Lukasevangelium (Kap.2,1-20) Ragnhild Fehling / Książka Miękka
common.buy 38.98 zł
Universität und wissenschaftliches Wissen Eva Eirmbter-Stolbrink / Książka Miękka
common.buy 174.62 zł
Harcèlement sexuel au bureau - moi, je témoigne MARRA / Książka Miękka
common.buy 127.57 zł
Einleitung, UEberlieferung Horst Brunner / Książka Twarda
common.buy 812.75 zł
Juan Ramón Jiménez, 1896-1958 José Carlos Mainer Baqué / Książka Miękka
common.buy 239.95 zł
108 miradas : del lado de fuera y del lado de dentro / Książka Miękka
common.buy 120.63 zł
Mondjunge Viktoria Weber / Książka Miękka
common.buy 63.78 zł
Les Contours De L'Amour Jean Daniel Francois M D / Książka Miękka
common.buy 60.01 zł
Tanie
Zamilované písničky ze 60 let interpreti Různí / Audio CD Audio
common.buy 15.81 zł
Apple de Tim Cook, La Leander Kahney / Książka Miękka
common.buy 96.55 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 177.48 zł
A Journey To St. Petersburg And Moscow Through Courland And Livonia Leitch Ritchie / Książka Miękka
common.buy 109.51 zł
The Pong-pendium: A Compilation of Little Stinkers Including their Pongs, Wrongs andSongs Robin Dry / Książka Miękka
common.buy 44.49 zł
Conquering My Nemesis Hekkie Van Der Westhuizen / Książka Miękka
common.buy 58.58 zł
Chironomidae Larvae, Vol. 2: Chironomini: Biology and Ecology of the Chironomini H. K. M. Moller Pillot / Książka Twarda
common.buy 480.62 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 140.33 zł
Palgrave Handbook of Leadership in Transforming Asia Nuttawuth Muenjohn / Książka Twarda
common.buy 1 339.00 zł
Fallen Series Megan D. Harding / Książka Miękka
common.buy 66.23 zł
Universities and Regional Advantage in the Knowledge Economy Fumi Kitagawa / Książka Miękka
common.buy 344.16 zł
Heart of Darkness: (Starbooks Classics Editions) Joseph Conrad / Książka Miękka
common.buy 31.02 zł
TOP
Violent and Painful Anal Sex: Five tales of brutal and degrading sodomy Blair Karina / Książka Miękka
common.buy 43.78 zł
Thomas Hardy Annie Macdonell / Książka Miękka
common.buy 100.42 zł
Helena Paderewska Maciej Siekierski / Książka Miękka
common.buy 122.37 zł
TOP
Eric Stanton and the History of the Bizarre Underground PEREZ R. / Książka Twarda
common.buy 101.04 zł
Russian Nuclear Orthodoxy Dmitry Adamsky / Książka Twarda
common.buy 660.97 zł
I See Zoo Animals LAUREN DICK / Książka Miękka
common.buy 46.84 zł
TOP
Penguin Readers Level 6: One Of Us Is Lying (ELT Graded Reader) MCMANUS KAREN M. / Książka Miękka
common.buy 33.98 zł
Mammals of South America Rexford D Lord / Książka Twarda
common.buy 287.51 zł
Moleskine Plánovací zápisník 2025 černý S, tvrdý / Książka Twarda
common.buy 84.30 zł
Love Lessons Alda Merini / Książka Miękka
common.buy 132.88 zł
Proceedings of the International Conference on Information Engineering and Applications (IEA) 2012 Zhicai Zhong / Książka Twarda
common.buy 2 426.73 zł
Media Impact Biagi / Książka Miękka
common.buy 523.08 zł
Regulation Theory and Sustainable Development Corinne Gendron / Książka Twarda
common.buy 1 013.00 zł
Evaluation in Decision Making Naftaly S. Glasman / Książka Twarda
common.buy 443.98 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?