close
1.

図書

図書
D. グリース, F. B. シュナイダー著 ; 飯島正 [ほか] 訳
出版情報: 東京 : 日本評論社, 2001.7  xi, 381p ; 26cm
所蔵情報: loading…
2.

図書

図書
D.グリース著 ; 筧捷彦訳
出版情報: 東京 : 培風館, 1991.1  xiv, 365p ; 22cm
シリーズ名: 情報処理シリーズ ; 14
所蔵情報: loading…
3.

図書

図書
David Gries
出版情報: New York : Springer-Verlag, c1981  xiii, 366 p. ; 24 cm
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…
目次情報: 続きを見る
Why Use Logic? Why Prove Programs Correct? / Part 0:
Propositions / Part 1:
Reasoning Using Equivalence Transformations / 2:
A Natural Deduction System / 3:
Predicates / 4:
Notations and Conventions for Arrays / 5:
Using Assertions to Document Programs / 6:
The Semantics of a Small Language / Part 2:
The Predicate Transformer wp / 7:
The Commands Skip, Abort and Composition / 8:
The Assignment Command / 9:
The Alternative Command / 10:
Procedure Call / 12:
The Iterative Command / 11:
The Development of Programs / Part 3:
Introduction / 13:
Programming as a Goal-Oriented Activity / 14:
Developing Loops From Invariants and Bounds / 15:
Developing Invariants / 16:
Notes on Bound Functions / 17:
Using Iteration Instead of Recursion / 18:
Efficiency Considerations / 19:
Two Larger Examples of Program Development / 20:
Inverting Programs / 21:
Notes on Documentation / 22:
Historical / 23:
Notes
Appendix 1-4
Answers to Exercises
References
Index
Why Use Logic? Why Prove Programs Correct? / Part 0:
Propositions / Part 1:
Reasoning Using Equivalence Transformations / 2:
4.

図書

図書
David Gries and Fred B. Schneider
出版情報: New York ; Tokyo : Springer-Verlag, c1993  xvi, 497 p. ; 25 cm
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…
5.

図書

図書
Richard Conway, David Gries, E. C. Zimmerman ; foreword by Niklaus Wirth
出版情報: Cambridge, Mass. : Winthrop Publishers, c1976  xii, 433 p. ; 24 cm
シリーズ名: Winthrop computer systems series / editor, Gerald M. Weinberg
所蔵情報: loading…
6.

図書

図書
edited by David Gries, Willem-Paul de Roever
出版情報: London : Chapman & Hall, c1998  viii, 486 p. ; 24 cm
所蔵情報: loading…
7.

図書

図書
David Gries著 ; 牛島和夫訳
出版情報: 東京 : 日本コンピュータ協会 , 東京 : 科学技術出版社 (発売), 1978.7  xx, 565p ; 22cm
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 10
所蔵情報: loading…
8.

図書

図書
[by] Richard Conway [and] David Gries
出版情報: Cambridge, Mass. : Winthrop Publishers, [1973]  460 p ; 24 cm
所蔵情報: loading…
9.

図書

図書
David Gries
出版情報: New York : Wiley, c1971  xiii, 493 p. ; 26 cm
所蔵情報: loading…
10.

図書

図書
edited by David Gries
出版情報: New York : Springer-Verlag, c1978  xiv, 437 p. ; 24 cm
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼