phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł Poczta Polska 18.99 zł ORLEN Paczka 10.99 zł
phone Kontakt phoneJak kupować

Correct Hardware Design and Verification Methods

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 154 b
261.85 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Boží oko James Rollins / Twarda
common.buy 45.10 zł
O umění s rozumem Miroslav Zelinský; Miloslav Klíma; Miroslav Plešák / Książka
common.buy 27.83 zł
Peripetie české ekonomiky a měny Stanislava Janáčková / Miękka
common.buy 20.35 zł
Mammals of South America Rexford D Lord / Twarda
common.buy 289.60 zł
Pražský chodec proti tankům Jiří Všetečka / Książka
common.buy 21.25 zł
Juan Ramón Jiménez, 1896-1958 José Carlos Mainer Baqué / Miękka
common.buy 262.55 zł
Einseitige Gestaltungsmöglichkeiten der Arbeitgeberseite zur Einwirkung auf Gesamtvereinbarungen im Rahmen wirtschaftlicher Krisen. André Beathalter / Miękka
common.buy 469.33 zł
Regierungskommunikation in Deutschland Jana Heinze / Miękka
common.buy 308.16 zł
Universität und wissenschaftliches Wissen Eva Eirmbter-Stolbrink / Miękka
common.buy 181.92 zł
Love Lessons Alda Merini / Miękka
common.buy 105.97 zł
Proceedings of the International Conference on Information Engineering and Applications (IEA) 2012 Zhicai Zhong / Twarda
common.buy 2 490.50 zł
Manual of Lunacy Lyttleton Stewart Forbes WinslowForbes Winslow / Miękka
common.buy 283.01 zł
Evaluation in Decision Making Naftaly S. Glasman / Twarda
common.buy 516.53 zł
Todeszauber im Klassenzimmer Wilhelm Rossi / Miękka
common.buy 93.00 zł
Einleitung, UEberlieferung Horst Brunner / Twarda
common.buy 1 216.30 zł
Media Impact Biagi / Miękka
common.buy 518.33 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.

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

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