close
1.

電子ブック
ＥＢ
1. Higher-Order Algebra, Logic, and Term Rewriting
Heering, J. Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1994
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Higher-Order Algebra, Logic, and Term Rewriting
Dowek, Gilles Dowek, J. Heering, Karl Meinke, Bernhard Möller
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1996
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Prospects for Hardware Foundations
Bernhard Möller, Bernhard Möller, John V. Tucker
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1998
所蔵情報: loading…
目次情報: 続きを見る
Introduction: NADA and NIL The NADA Group
Mathematical Foundations / I：
Streams, Stream Transformers and Domain Representations / J. Blanck ; V. Stoltenberg-Hansen ; J. V. Tucker
Ideal Stream Algebra / B. Möller
Normalisation by Evaluation / U. Berger ; M. Eberl ; H. Schwichtenberg
Hardware and Dynamical Systems / II：
Algebraic Models of Superscalar Microprocessor Implementations: A Case Study / A.C.J. Fox ; N.A. Harman
Hierarchies of Spatially Extended Systems and Synchronous Concurrent Algorithms / M.J. Poole ; A.V. Holden ; J.V. Tucker
Towards an Algebraic Speci cation of the Java Virtual Machine / K. Stephenson
Grid Protocol Speci cations / J. A. Bergstra ; A. Ponse
The Computational Description of Analogue System Behaviour / P.T. Breuer ; N. Martínez Madrid ; C. Delgado Kloos
Verification and Deductive Design / III：
Reasoning about Imperfect Digital Systems / K. Hanna
F ormal Veri cation and Hardware Design with Statecharts / J. Philipps ; P. Scholz
An Exercise in Conditional Re nement / K. Stølen ; M. Fuchs
Deductive Hardware Design: A Functional Approach / B Möller
Introduction: NADA and NIL The NADA Group
Mathematical Foundations / I：
Streams, Stream Transformers and Domain Representations / J. Blanck ; V. Stoltenberg-Hansen ; J. V. Tucker
4.

電子ブック
ＥＢ
4. Mathematics of Program Construction
International Conference on the Mathematics of Program Construction, Bernhard Möller
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1995
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼