phone +385 21 784 0072
LIBRISTO 0
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Overseas 4.99 € Pošta 4.99 € DPD 5.99 € GLS 3.99 € GLS paketomat 3.49 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Correct Hardware Design and Verification Methods

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Correct Hardware Design and Verification Methods Paolo Enrico Camurati
Libristo kod: 05274512
Nakladnici Springer, Berlin, studeni 1994
This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Conferen... Cijeli opis
? points 154 b
61.35 €
Vanjske zalihe u manjem broju Šaljemo za 13-16 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

New Cutting Edge Intermediate Students Book and CD-Rom Pack Sarah Cunningham / Tvrdi uvez
common.buy 43.32 €
Einsterns Schwester - Sprache und Lesen - Zu allen Ausgaben - 3./4. Schuljahr Roland Bauer / Igračka
common.buy 9.96 €
Die behördliche Genehmigung im strafrechtlichen Deliktsaufbau. Steffen Fortun / Meki uvez
common.buy 52.89 €
Die drei ??? und die Poker-Hölle, 1 Audio-CD Oliver Rohrbeck / Audio CD
common.buy 8.45 €
Changing Work, Changing Workers Glynda Hull / Meki uvez
common.buy 46.84 €
Breaking the Real Axis of Evil Mark Palmer / Meki uvez
common.buy 16.61 €
Chrestomathia Nganasanica Michael Katzschmann / Tvrdi uvez
common.buy 83.01 €
'Nur für Anfänger' - Klassische Gitarre (inkl. CD) Gerald Goodwin / Meki uvez
common.buy 15.00 €
Communication Gregory Bateson / Meki uvez
common.buy 66.79 €
Building the Trident Network Maggie Mort / Meki uvez
common.buy 9.56 €
Art in Belfast 1760-1880 Eileen Black / Meki uvez
common.buy 76.77 €
American South and the Italian Mezzogiorno Enrico Dal Lago / Tvrdi uvez
common.buy 61.35 €
George Sand Donna Dickenson / Tvrdi uvez
common.buy 193.95 €

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.

Informacije o knjizi

Puni naziv Correct Hardware Design and Verification Methods
Autor Paolo Enrico Camurati, Hans Eveking
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1995
Broj stranica 346
EAN 9783540603856
ISBN 3540603859
Libristo kod 05274512
Nakladnici Springer, Berlin
Težina 478
Dimenzije 155 x 233 x 18

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Databases > Distributed databases
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer networking & communications
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun