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

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

30 dni na zwrot towaru

Klienci kupili także

'Nur für Anfänger' - Klassische Gitarre (inkl. CD) Gerald Goodwin / Książka Miękka
common.buy 67.58 zł
ME ENAMORE DE LA VILLANA 3 INORI / Książka Książka
common.buy 42.91 zł
Die behördliche Genehmigung im strafrechtlichen Deliktsaufbau. Steffen Fortun / Książka Miękka
common.buy 199.55 zł
Neuartige 4-Heteroaryl-Antipyrine als DPP-IV-Inhibitoren Mohamed Abdalla / Książka Miękka
common.buy 135.97 zł
MORIARTY EL PATRIOTA 3 TAKEUCHI / Książka Książka
common.buy 39.00 zł
Anfangsgründe der theoretischen und angewandten Naturgeschichte der Tiere. Tl.4/2 Georg A. Suckow / Książka Miękka
common.buy 188.52 zł
Wild Day at the Zoo / Egun Zoroa Zooan - Basque Edition Victor Dias de Oliveira Santos / Książka Twarda
common.buy 79.31 zł
Souvenirs de Voyages Aux Pyrenees, En Italie Et En Espagne Vervel-M / Książka Miękka
common.buy 85.93 zł
La prometida JHANSIR JACKSON PAEZ BLOOM / Książka Książka
common.buy 66.48 zł
Boxer and Brandon KIDKIDDOS BOOKS / Książka Twarda
common.buy 110.10 zł
Einsterns Schwester - Sprache und Lesen - Zu allen Ausgaben - 3./4. Schuljahr Roland Bauer / Gra/Zabawka Zabawka
common.buy 42.31 zł
Die drei ??? und die Poker-Hölle, 1 Audio-CD Oliver Rohrbeck / Audio CD Audio
common.buy 50.93 zł
La cocina andaluza Guadalquivir arriba Francisco Casas Delgado / Książka Miękka
common.buy 77.51 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 271.45 zł
Puppy Birthday to You! (Paw Patrol) Golden Books / Książka Twarda
common.buy 20.15 zł
Tranquility, Solitude, and Other Poems Karen Lee Oliver / Książka Twarda
common.buy 115.31 zł
Life Under The Jolly Roger Gabriel Kuhn / Książka Miękka
common.buy 66.88 zł
All the Finer Things Stephanie Connelley Worlton / Książka Miękka
common.buy 55.34 zł
Delphinus Anita Marasco Maier / Książka Miękka
common.buy 41.81 zł
Feminist Inquiry M.E. Hawkesworth / Książka Miękka
common.buy 148.91 zł
Exam Prep for The Economic Way of Thinking by Heyne, Boettke, Prychitko, 11th Ed. Boettke Prychitko Heyne / Książka Miękka
common.buy 164.75 zł
Foundations of C++/CLI Gordon Hogenson / Książka Miękka
common.buy 277.77 zł
What Is Symmetry in Nature? Bobbie Kalman / Książka Twarda
common.buy 98.56 zł
What Could Possibly Go Wrong?: The Chronicles of St. Mary's Book Six Jodi Taylor / Książka Miękka
common.buy 57.55 zł
The Valley's Legends & Legacies IV Catherine Morison Rehart / Książka Miękka
common.buy 74.70 zł
Crooked House Agatha Christie / Książka Twarda
common.buy 106.59 zł
English Verse Edward Leeson / Audio CD Audio
common.buy 58.25 zł
Three Wise Men from the East PATRICK WHITWORTH / Książka Twarda
common.buy 114.81 zł
VCs of the First World War: The Naval VCs Stephen Snelling / Książka Miękka
common.buy 45.82 zł
Area 51 Nick Redfern / Książka Miękka
common.buy 159.94 zł
Carve the Mark 2-Book Paperback Box Set Veronica Roth / Książka Miękka
common.buy 161.24 zł
One Immigrant in a World of Many ANDREA BERM DEZ / Książka Miękka
common.buy 77.71 zł
Oil Palm Jonathan E. Robins / Książka Miękka
common.buy 160.14 zł
Political Theory and South Asian Counter-Narratives Maidul Islam / Książka Twarda
common.buy 885.56 zł
TOP
Crazy Quilting for Beginners Handy Pocket Guide Boggon / Książka Miękka
common.buy 32.58 zł
Natural History of Wine Ian Tattersall / E-book Adobe ePub DRM
common.buy 51.43 zł
Neurology: A Case-Based Approach / Książka Twarda
common.buy 558.85 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?