Overview
- Editors:
-
-
Bernhard Möller
-
Department of Computer Science, University of Augsburg, Augsburg, Germany
-
John V. Tucker
-
Department of Computer Science, University of Wales at Swansea, Swansea, UK
Access this book
Other ways to access
Table of contents (13 chapters)
-
-
Introduction: NADA and NIL
-
-
I Mathematical Foundations
-
- Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker
Pages 27-68
-
-
- Ulrich Berger, Matthias Eberl, Helmut Schwichtenberg
Pages 117-137
-
II Hardware And Dynamical Systems
-
- A. C. J. Fox, N. A. Harman
Pages 138-183
-
- M. J. Poole, J. V. Tucker, A. V. Holden
Pages 184-235
-
-
- Jan A. Bergstra, Alban Ponse
Pages 278-308
-
- Peter T. Breuer, Natividad Martínez Madrid, Carlos Delgado Kloos
Pages 309-332
-
Verification and Deductive Design
-
-
- Jan Philipps, Peter Scholz
Pages 356-389
-
-
About this book
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 and NIL 7 8 The NADA Group Introduction: NADA and NIL 9 10 The NADA Group Introduction: NADA and NIL 11 12 The NADA Group Introduction: NADA and NIL 13 14 The NADA Group Introduction: NADA and NIL 15 16 The NADA Group Introduction: NADA and NIL 17 18 The NADA Group Introduction: NADA and NIL 19 20 The NADA Group Introduction: NADA and NIL 21 22 The NADA Group Introduction: NADA and NIL 23 24 The NADA Group Introduction: NADA and NIL 25 26 The NADA Group Streams, Stream Transformers and Domain Representations B. Möller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 27-68, 1998. Springer-Verlag Berlin Heidelberg 1998 28 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 29 30 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 31 32 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 33 34 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 35 36 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 37
Editors and Affiliations
-
Department of Computer Science, University of Augsburg, Augsburg, Germany
Bernhard Möller
-
Department of Computer Science, University of Wales at Swansea, Swansea, UK
John V. Tucker
