Formal Methods in Computer-aided Design: Second International Conference, Fmcad '98, Palo Alto, Ca, Usa, November 4-6, 1998, Proceedings - Lecture Notes in Computer Science - Ganesh Gopalakrishnan - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783540651918 - 21. oktober 1998
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Formal Methods in Computer-aided Design: Second International Conference, Fmcad '98, Palo Alto, Ca, Usa, November 4-6, 1998, Proceedings - Lecture Notes in Computer Science

Ganesh Gopalakrishnan

Pris
NOK 559

Bestillingsvarer

Forventes levert 24. sep - 2. okt

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
Eller

Formal Methods in Computer-aided Design: Second International Conference, Fmcad '98, Palo Alto, Ca, Usa, November 4-6, 1998, Proceedings - Lecture Notes in Computer Science

Taken from a conference on formal methods in computer-aided design, the papers in this volume present the state-of-the-art in formal verification methods for digital circuits and systems, including processors, custom VLSI circuits, microcode, and reactive software.

538 pages, biography

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 21. oktober 1998
ISBN13 9783540651918
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 538
Mål 156 × 234 × 28 mm   ·   757 g
Språk Tysk  
Redaktør Gopalakrishnan, Ganesh C.
Redaktør Windley, Phillip J.
Vis alle

Mer med Ganesh Gopalakrishnan

Se alt med Ganesh Gopalakrishnan ( f.eks. Pocketbok og Innbunden bok )