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

IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings

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 125 b
223.66 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Introduction à une histoire naturelle Claude Allègre / Książka Książka
common.buy 131.81 zł
Wild Day at the Zoo / Egun Zoroa Zooan - Basque Edition Victor Dias de Oliveira Santos / Książka Twarda
common.buy 81.07 zł
Neuartige 4-Heteroaryl-Antipyrine als DPP-IV-Inhibitoren Mohamed Abdalla / Książka Miękka
common.buy 138.99 zł
MORIARTY EL PATRIOTA 3 TAKEUCHI / Książka Książka
common.buy 39.86 zł
ME ENAMORE DE LA VILLANA 3 INORI / Książka Książka
common.buy 61.18 zł
Die behördliche Genehmigung im strafrechtlichen Deliktsaufbau. Steffen Fortun / Książka Miękka
common.buy 244.77 zł
La prometida JHANSIR JACKSON PAEZ BLOOM / Książka Książka
common.buy 68.16 zł
Boxer and Brandon KIDKIDDOS BOOKS / Książka Twarda
common.buy 112.54 zł
Proces Complet de M. de Pradt, Ancien Archeveque de Malines MORET-P / Książka Miękka
common.buy 91.94 zł
La cocina andaluza Guadalquivir arriba Francisco Casas Delgado / Książka Miękka
common.buy 72.67 zł
Souvenirs de Voyages Aux Pyrenees, En Italie Et En Espagne Vervel-M / Książka Miękka
common.buy 87.84 zł
'Nur für Anfänger' - Klassische Gitarre (inkl. CD) Gerald Goodwin / Książka Miękka
common.buy 68.87 zł
Einsterns Schwester - Sprache und Lesen - Zu allen Ausgaben - 3./4. Schuljahr Roland Bauer / Gra/Zabawka Zabawka
common.buy 43.14 zł
Die drei ??? und die Poker-Hölle, 1 Audio-CD Oliver Rohrbeck / Audio CD Audio
common.buy 52.06 zł
Anfangsgründe der theoretischen und angewandten Naturgeschichte der Tiere. Tl.4/2 Georg A. Suckow / Książka Miękka
common.buy 192.70 zł
Verbesserung der Diagnosefahigkeit bei Rechenschwache durch Erprobung des informellen Diagnoseverfahrens DUEMA am Beispiel einer Foerdergruppe Stefanie Hiller / Książka Miękka
common.buy 108.44 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.

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 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

Mogłoby Cię także zainteresować

Numicon: Investigations with Numicon Teaching Book Matthew Mills / Książka Pierścieniowa
common.buy 277.68 zł
Puppy Birthday to You! (Paw Patrol) Golden Books / Książka Twarda
common.buy 20.59 zł
Tranquility, Solitude, and Other Poems Karen Lee Oliver / Książka Twarda
common.buy 117.87 zł
Life Under The Jolly Roger Gabriel Kuhn / Książka Miękka
common.buy 68.36 zł
What Could Possibly Go Wrong?: The Chronicles of St. Mary's Book Six Jodi Taylor / Książka Miękka
common.buy 58.83 zł
Political Theory and South Asian Counter-Narratives Maidul Islam / Książka Twarda
common.buy 905.21 zł
George Sand Donna Dickenson / Książka Twarda
common.buy 710.45 zł
Communication Gregory Bateson / Książka Miękka
common.buy 303.10 zł
Art in Belfast 1760-1880 Eileen Black / Książka Miękka
common.buy 301.97 zł
Migration and the Slums Growth Sangay Tamang / Książka Miękka
common.buy 154.36 zł
Delphinus Anita Marasco Maier / Książka Miękka
common.buy 42.73 zł
Impact of War on Federal Personnel Administration Gladys M Kammerer / Książka Miękka
common.buy 147.80 zł
Feminist Inquiry M.E. Hawkesworth / Książka Miękka
common.buy 139.19 zł
Exam Prep for The Economic Way of Thinking by Heyne, Boettke, Prychitko, 11th Ed. Boettke Prychitko Heyne / Książka Miękka
common.buy 168.41 zł
Foundations of C++/CLI Gordon Hogenson / Książka Miękka
common.buy 283.93 zł
Advanced Computing and Systems for Security Rituparna Chaki / Książka Miękka
common.buy 223.66 zł
What Is Symmetry in Nature? Bobbie Kalman / Książka Twarda
common.buy 100.75 zł
Crazy Quilting for Beginners Handy Pocket Guide Boggon / Książka Miękka
common.buy 36.28 zł
The Valley's Legends & Legacies IV Catherine Morison Rehart / Książka Miękka
common.buy 87.12 zł
Crooked House Agatha Christie / Książka Twarda
common.buy 108.95 zł
Oil Palm Jonathan E. Robins / Książka Miękka
common.buy 168.20 zł
English Verse Edward Leeson / Audio CD Audio
common.buy 59.55 zł
Three Wise Men from the East PATRICK WHITWORTH / Książka Twarda
common.buy 117.36 zł
All the Finer Things Stephanie Connelley Worlton / Książka Miękka
common.buy 56.57 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?