Έλεγχος κατάστασης παραγγελίας
LIBRISTO
LIBROAMANTO
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού
0
Δωρεάν αποστολή με Box Now άνω των 69.99 €
DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € Σημείο ACS 3.99 €
phone Επικοινωνία phoneΠώς να κάνετε αγορές;

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

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Correct Hardware Design and Verification Methods Tiziana Margaria
Κωδικός Libristo: 01563746
ΕΕκδοτικός οίκος Springer, Berlin, Νοέμβριος 2000
This book constitutes the refereed proceedings of the 11th IFIP WG 10.5 Advanced Research Working Co... Πλήρης περιγραφή
? points 125 b
51.68 €
Σε εξωτερική αποθήκη Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

Έως 30 ημέρες για επιστροφή

Οι πελάτες αγόρασαν επίσης

Προετοιμαζουμε
Kerberos in the Silver Rain AIKAWA / Βιβλίο Χαρτόδετο
common.buy 15.37 €
GRANDMASTER OF DEMONIC 05 Mo Xiang Tong Xiu / Βιβλίο Βιβλίο
common.buy 15.87 €
La pédagogie Montessori / Βιβλίο Χαρτόδετο
common.buy 6.26 €
Johannes R. Bechers Publizistik in der Sowjetunion, 1935?1945 Simone Barck / Βιβλίο Σκληρόδετο
common.buy 119.15 €
Zamalowane okna Anna Limanowicz / Βιβλίο Σκληρόδετο
common.buy 11.32 €
La MLS (Mls) Annie Evearts / Βιβλίο Χαρτόδετο
common.buy 11.52 €
Begegnung am Donnerstag / Βιβλίο Χαρτόδετο
common.buy 25.28 €
Mimo wszystko Polak / Ακουστικό βιβλίο MP3
common.buy 7.98 €
Pražský chodec proti tankům Jiří Všetečka / Βιβλίο Βιβλίο
common.buy 7.17 €
Collection Des Principaux Cartulaires Du Diocese de Troyes. 2 (Ed.1875-1890) Charles Lalore / Βιβλίο Χαρτόδετο
common.buy 30.54 €
Peripetie české ekonomiky a měny Stanislava Janáčková / Βιβλίο Χαρτόδετο
common.buy 5.96 €
O umění s rozumem Miroslav Zelinský; Miloslav Klíma; Miroslav Plešák / Βιβλίο Βιβλίο
common.buy 8.18 €
Einseitige Gestaltungsmöglichkeiten der Arbeitgeberseite zur Einwirkung auf Gesamtvereinbarungen im Rahmen wirtschaftlicher Krisen. André Beathalter / Βιβλίο Χαρτόδετο
common.buy 106.00 €
Regierungskommunikation in Deutschland Jana Heinze / Βιβλίο Χαρτόδετο
common.buy 68.68 €
Todeszauber im Klassenzimmer Wilhelm Rossi / Βιβλίο Χαρτόδετο
common.buy 20.73 €
Musik zur Weihnachtsgeschichte nach dem Lukasevangelium (Kap.2,1-20) Ragnhild Fehling / Βιβλίο Χαρτόδετο
common.buy 8.99 €
Universität und wissenschaftliches Wissen Eva Eirmbter-Stolbrink / Βιβλίο Χαρτόδετο
common.buy 40.55 €
Harcèlement sexuel au bureau - moi, je témoigne MARRA / Βιβλίο Χαρτόδετο
common.buy 29.83 €
Einleitung, UEberlieferung Horst Brunner / Βιβλίο Σκληρόδετο
common.buy 188.55 €
Juan Ramón Jiménez, 1896-1958 José Carlos Mainer Baqué / Βιβλίο Χαρτόδετο
common.buy 61.29 €
108 miradas : del lado de fuera y del lado de dentro / Βιβλίο Χαρτόδετο
common.buy 28.01 €
Mondjunge Viktoria Weber / Βιβλίο Χαρτόδετο
common.buy 14.76 €
Les Contours De L'Amour Jean Daniel Francois M D / Βιβλίο Χαρτόδετο
common.buy 14.66 €
Φθηνά
Zamilované písničky ze 60 let interpreti Různí / Audio Audio CD
common.buy 2.92 €

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.

Ηθοποιός & Πολύγλωσση
EWA KASP για
Αναπαραγωγή βίντεο
Ewa Kasp
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

Πληροφορίες για το βιβλίο

Πλήρες όνομα Correct Hardware Design and Verification Methods
Συγγραφέας Tiziana Margaria, Tom Melham
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2001
Αριθμός σελίδων 488
EAN 9783540425410
ISBN 3540425411
Κωδικός Libristo 01563746
ΕΕκδοτικός οίκος Springer, Berlin
Βάρος 699
Διαστάσεις 155 x 235 x 25

Κατηγορία

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer hardware
Computing & Information Technology > Operating systems
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

Μπορεί να σας ενδιαφέρει

Search for Solvency Alfred E. Eckes / Βιβλίο Χαρτόδετο
common.buy 42.88 €
A Journey To St. Petersburg And Moscow Through Courland And Livonia Leitch Ritchie / Βιβλίο Χαρτόδετο
common.buy 29.93 €
The Pong-pendium: A Compilation of Little Stinkers Including their Pongs, Wrongs andSongs Robin Dry / Βιβλίο Χαρτόδετο
common.buy 10.81 €
Conquering My Nemesis Hekkie Van Der Westhuizen / Βιβλίο Χαρτόδετο
common.buy 14.46 €
Chironomidae Larvae, Vol. 2: Chironomini: Biology and Ecology of the Chironomini H. K. M. Moller Pillot / Βιβλίο Σκληρόδετο
common.buy 116.42 €
International Code of Botanical Nomenclature: Adopted by the Seventh International Botanical Congress, Stockholm, July 1950 International Botanical Congress (7th / Βιβλίο Σκληρόδετο
common.buy 34.08 €
Palgrave Handbook of Leadership in Transforming Asia Nuttawuth Muenjohn / Βιβλίο Σκληρόδετο
common.buy 310.64 €
Fallen Series Megan D. Harding / Βιβλίο Χαρτόδετο
common.buy 16.07 €
Universities and Regional Advantage in the Knowledge Economy Fumi Kitagawa / Βιβλίο Χαρτόδετο
common.buy 79.90 €
Heart of Darkness: (Starbooks Classics Editions) Joseph Conrad / Βιβλίο Χαρτόδετο
common.buy 7.58 €
Violent and Painful Anal Sex: Five tales of brutal and degrading sodomy Blair Karina / Βιβλίο Χαρτόδετο
common.buy 10.71 €
Thomas Hardy Annie Macdonell / Βιβλίο Χαρτόδετο
common.buy 23.26 €
Helena Paderewska Maciej Siekierski / Βιβλίο Χαρτόδετο
common.buy 28.52 €
Τοπ
Eric Stanton and the History of the Bizarre Underground PEREZ R. / Βιβλίο Σκληρόδετο
common.buy 23.46 €
Russian Nuclear Orthodoxy Dmitry Adamsky / Βιβλίο Σκληρόδετο
common.buy 159.82 €
I See Zoo Animals LAUREN DICK / Βιβλίο Χαρτόδετο
common.buy 11.32 €
Τοπ
Penguin Readers Level 6: One Of Us Is Lying (ELT Graded Reader) MCMANUS KAREN M. / Βιβλίο Χαρτόδετο
common.buy 6.46 €
Mammals of South America Rexford D Lord / Βιβλίο Σκληρόδετο
common.buy 66.75 €
Moleskine Plánovací zápisník 2025 černý S, tvrdý / Βιβλίο Σκληρόδετο
common.buy 19.51 €
Love Lessons Alda Merini / Βιβλίο Χαρτόδετο
common.buy 32.06 €
Proceedings of the International Conference on Information Engineering and Applications (IEA) 2012 Zhicai Zhong / Βιβλίο Σκληρόδετο
common.buy 563.03 €
Media Impact Biagi / Βιβλίο Χαρτόδετο
common.buy 121.38 €
Regulation Theory and Sustainable Development Corinne Gendron / Βιβλίο Σκληρόδετο
common.buy 245.40 €
Evaluation in Decision Making Naftaly S. Glasman / Βιβλίο Σκληρόδετο
common.buy 102.97 €

Είσοδος

Συνδεθείτε στο λογαριασμό σας Δεν έχετε ακόμη λογαριασμό στο Libristo; Δημιουργήστε τον τώρα!

 
υποχρεωτικό
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης

Δεν έχετε λογαριασμό; Αποκτήστε τα οφέλη ενός λογαριασμού Libristo!

Με έναν λογαριασμό Libristo, θα έχετε τον απόλυτο έλεγχο.

Δημιουργία λογαριασμού Libristo
Σύμβουλος βιβλίων Libroamiko
Γεια σας, είμαι ο Libroamiko, μπορώ να βοηθήσω;