Prospects for Hardware Foundations ESPRIT Working Group 8533 NADA - New Hardware Design Methods Survey Chapters /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Möller, Bernhard (Editor, http://id.loc.gov/vocabulary/relators/edt), Tucker, John V. (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.
• Edition: 1st ed. 1998.
• Series: Lecture Notes in Computer Science, 1546
• Subjects: Logic design.; Logic Design.

Preface VI I X Table of Contents B. Möller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 1-26, 1998. Springer-Verlag Berlin Heidelberg 1998 2 The NADA Group Introduction: NADA and NIL 3 4 The NADA Group Introduction: NADA and NIL 5 6 The NADA Group Introduction: NADA an...