close
1.

図書
図書
1. Mathematics of program construction : Third International Conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings
Bernhard Möller, (ed.)
出版情報: Berlin ; New York ; Tokyo : Springer, c1995  viii, 472 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 947
所蔵情報: loading…
2.

図書
図書
2. Formal program development : IFIP TC 2/WG 2.1 state of the art report (: gw ; : us)
Bernhard Möller, Helmut Partsch, Steve Schuman (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1993  371 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 755
所蔵情報: loading…
3.

図書
図書
3. Relational and Kleene-Algebraic methods in computer science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers
Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  x, 277 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3051
所蔵情報: loading…
4.

図書
図書
4. Prospects for hardware foundations : ESPRIT Working Group 8533 : NADA--new hardware design methods, survey chapters
Bernhard Möller, John V. Tucker (eds)
出版情報: Berlin ; New York : Springer, c1998  x, 468 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1546
所蔵情報: 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
5.

図書
図書
5. Mathematics of program construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings
Eerke A. Boiten, Bernhard Möller (eds.)
出版情報: Berlin : Springer, c2002  x, 262 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2386
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm / Robert Giegerich ; Peter Steffen
Some Results in Dynamic Model Theory / Dexter Kozen
Mathematics in Computer Science Curricula / Jeannette M. Wing
Contributed Papers
Logical Relations and Galois Connections / Kevin Backhouse ; Roland Backhouse
Transformational Derivation of Greedy Network Algorithms from Descriptive Specifications / Juan Eduardo Duran
Fine Control of Demand in Haskell / William Harrison ; Tim Sheard ; James Hook
Reasoning about Timeouts / Ian J. Hayes
Eternity Variables to Simulate Specifications / Wim H. Hesselink
Constructing Tournament Representations: An Exercise in Pointwise Relational Programming / Ralf Hinze
Type-Indexed Data Types / Johan Jeuring ; Andres Loh
Verification of JavaÆs AbstractCollection Class: A Case Study / Marieke Huisman
Solving Regular Path Queries / Yanhong A. Liu ; Fuxiang Yu
Inverting Functions as Folds / Shin-Cheng Mu ; Richard Bird
From Kleene Algebra to Refinement Algebra / Joakim von Wright
Author Index
Invited Talks
Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm / Robert Giegerich ; Peter Steffen
Some Results in Dynamic Model Theory / Dexter Kozen
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼