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 11.02 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 Paolo Enrico Camurati
Kod Libristo: 05274512
Wydawnictwo Springer, Berlin, listopad 1994
This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Conferen... Cały opis
? points 154 b
262.26 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ć

New Cutting Edge Intermediate Students Book and CD-Rom Pack Sarah Cunningham / Twarda
common.buy 176.10 zł
Einsterns Schwester - Sprache und Lesen - Zu allen Ausgaben - 3./4. Schuljahr Roland Bauer / Zabawka
common.buy 40.57 zł
Die behördliche Genehmigung im strafrechtlichen Deliktsaufbau. Steffen Fortun / Miękka
common.buy 237.47 zł
Changing Work, Changing Workers Glynda Hull / Miękka
common.buy 191.59 zł
Die drei ??? und die Poker-Hölle, 1 Audio-CD Oliver Rohrbeck / CD Audio
common.buy 34.57 zł
Breaking the Real Axis of Evil Mark Palmer / Miękka
common.buy 71.05 zł
Communication Gregory Bateson / Miękka
common.buy 285.64 zł
Chrestomathia Nganasanica Michael Katzschmann / Twarda
common.buy 335.32 zł
'Nur für Anfänger' - Klassische Gitarre (inkl. CD) Gerald Goodwin / Miękka
common.buy 67.96 zł
Building the Trident Network Maggie Mort / Miękka
common.buy 38.47 zł
Art in Belfast 1760-1880 Eileen Black / Miękka
common.buy 313.93 zł
American South and the Italian Mezzogiorno Enrico Dal Lago / Twarda
common.buy 262.26 zł
George Sand Donna Dickenson / Twarda
common.buy 829.87 zł

This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design Methodologies, CHARME '95, held in Frankfurt, Germany, in October 1995.The 20 revised full papers presented were carefullyselected by the program committee and address all current aspects of research and advanced applications in the field of formal verification of hardware. Among the topics covered are model checking, theorem proving, formally verified synthesis, process algebras, finite state systems, verification environments, language containment, and VHDL.

Informacje o książce

Pełna nazwa Correct Hardware Design and Verification Methods
Autor Paolo Enrico Camurati, Hans Eveking
Język Angielski
Oprawa Książka - Miękka
Data wydania 1995
Liczba stron 346
EAN 9783540603856
ISBN 3540603859
Kod Libristo 05274512
Wydawnictwo Springer, Berlin
Waga 478
Wymiary 155 x 233 x 18

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Bazy danych > Rozproszone bazy danych
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) > Sieci komputerowe i telekomunikacja
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