close
1.

電子ブック
ＥＢ
1. Implementation and Application of Functional Languages
Andrew Butterfield, Clemens Grelck, Frank Huch, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Unifying Theories of Programming
Andrew Butterfield, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Refinement Calculus as a Theory of Contracts (Invited Paper) / Ralph-Johan Back
Transaction Calculus (Invited Paper) / Jifeng He
UTP and Temporal Logic Model Checking / Hugh Anderson ; Gabriel Ciobanu ; Leo Freitas
A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming / Ana Cavalcanti ; Marie-Claude Gaudel
Reasoning about Loops in Total and General Correctness / Steve E. Dunne ; Ian J. Hayes ; Andy J. Galloway
Lazy UTP / Walter Guttmann
Monadic Maps and Folds for Multirelations in an Allegory / Clare E. Martin ; Sharon A. Curtis
Unifying Theories of Interrupts / Alistair A. McEwan ; Jim Woodcock
UTP Semantics for Handel-C / Juan Ignacio Perna
Unifying Theories of Locations / Michael Anthony Smith ; Jeremy Gibbons
Unifying Input Output Conformance / Martin Weiglhofer ; Bernhard K. Aichernig
The Miracle of Reactive Programming
Encoding Circus Programs in ProofPower-Z / Frank Zeyda
Component Publications and Compositions / Naijun Zhan ; Eun Young Kang ; Zhiming Liu
Denotational Approach to an Event-Driven System-Level Language / Huibiao Zhu ; Xiaoqing Peng ; Naiyong Jin
Author Index
Refinement Calculus as a Theory of Contracts (Invited Paper) / Ralph-Johan Back
Transaction Calculus (Invited Paper) / Jifeng He
UTP and Temporal Logic Model Checking / Hugh Anderson ; Gabriel Ciobanu ; Leo Freitas
3.

電子ブック
ＥＢ
3. Implementation and Application of Functional Languages
Zolt?n Horv?th, Andrew Butterfield, Takeo Kanade, Vikt?ria Zs?k
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Implementation and Application of Functional Languages
Andrew Butterfield, Clemens Grelck, Frank Huch, Takeo Kanade
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Implementation and Application of Functional Languages
Zoltán Horváth, Andrew Butterfield, Takeo Kanade, Viktória Zsók
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Unifying Theories of Programming
Andrew Butterfield, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Refinement Calculus as a Theory of Contracts (Invited Paper) / Ralph-Johan Back
Transaction Calculus (Invited Paper) / Jifeng He
UTP and Temporal Logic Model Checking / Hugh Anderson ; Gabriel Ciobanu ; Leo Freitas
A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming / Ana Cavalcanti ; Marie-Claude Gaudel
Reasoning about Loops in Total and General Correctness / Steve E. Dunne ; Ian J. Hayes ; Andy J. Galloway
Lazy UTP / Walter Guttmann
Monadic Maps and Folds for Multirelations in an Allegory / Clare E. Martin ; Sharon A. Curtis
Unifying Theories of Interrupts / Alistair A. McEwan ; Jim Woodcock
UTP Semantics for Handel-C / Juan Ignacio Perna
Unifying Theories of Locations / Michael Anthony Smith ; Jeremy Gibbons
Unifying Input Output Conformance / Martin Weiglhofer ; Bernhard K. Aichernig
The Miracle of Reactive Programming
Encoding Circus Programs in ProofPower-Z / Frank Zeyda
Component Publications and Compositions / Naijun Zhan ; Eun Young Kang ; Zhiming Liu
Denotational Approach to an Event-Driven System-Level Language / Huibiao Zhu ; Xiaoqing Peng ; Naiyong Jin
Author Index
Refinement Calculus as a Theory of Contracts (Invited Paper) / Ralph-Johan Back
Transaction Calculus (Invited Paper) / Jifeng He
UTP and Temporal Logic Model Checking / Hugh Anderson ; Gabriel Ciobanu ; Leo Freitas
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼