Programming methodology : a collection of articles by members of IFIP WG2.3 | 茨城大学附属図書館 OPAC

>> Google Books

QRコード(所蔵情報)

Programming methodology : a collection of articles by members of IFIP WG2.3

フォーマット:: 図書
責任表示:: edited by David Gries
言語:: 英語
出版情報:: New York : Springer-Verlag, c1978
形態:: xiv, 437 p. : ill. ; 24 cm
著者名:: Gries, David, 1939- <DA0019029X>
シリーズ名:: Texts and monographs in computer science <BA00039349>
書誌ID:: BA04567509
ISBN:: 9780387903293 [0387903291] (: us)
9783540903291 [3540903291] (: gw)

子書誌情報

所蔵情報

Loading availability information

タイトルが類似している資料

詳細

主題:	Electronic digital computers--Programming--Addresses, essays, lectures
分類・件名:	LCC : QA76.6 DDC : 001.6/42 LCSH : Electronic digital computers -- Programming -- Addresses, essays, lectures
LCCN:	78016539
注記:	Bibliography: p. [422]-437
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Theoretical foundations of programming methodology : lecture notes of an international summer school, directed by F.L. Bauer, E.W. Dijkstra and C.A.R. Hoare Broy, M., 1949-, Schmidt, Gunther, 1939-, Marktoberdorf Summer School on Theoretical Foundations of Programming … D. Reidel	7 図書 Compiler construction for digital computers Gries, David, 1939- Wiley
2 図書 The science of programming Gries, David, 1939- Springer-Verlag	8 図書 Formal description of programming concepts--III : proceedings of the IFIP TC2/WG 2.2 Working Conference on Formal Description of Programming Concepts , Ebberup, … IFIP Working Conference on Formal Description of Programming Concepts, Wirsing, M. (Martin), IFIP Technical Committee … North-Holland Pub. Co.
3 図書 An introduction to programming : a structured approach using PL/1 and PL/C Conway, Richard Walter, 1931-, Gries, David, 1939- Winthrop Publishers	9 図書 Program specification and transformation : proceedings of the IFIP TC2/WG 2.1 Working Conference on Program Specification and Transformation, Bad Tölz, FRG, … IFIP TC2/WG 2.1 Working Conference on Program Specification and Transformation, Meertens, Lambert, IFIP Technical … North-Holland, Sole distributors for the U.S.A. and Canada
4 図書 An introduction to programming : a structured approach using PL/1 and PL/C-7 Conway, Richard Walter, 1931-, Gries, David, 1939- Winthrop Publishers	10 図書 Performance of computer-communication systems : proceedings of the IFIP WG 7.3/TC 6 Second International Symposium on the Performance of Computer-Communication … International Symposium on the Performance of Computer-Communication Systems, Bux, Werner, Rudin, Harry, 1937-, IFIP … Elsevier Science Pub. Co. [sole distributors for the U.S.A. and Canada]
5 図書 Program construction : international summer school Bauer, Friedrich Ludwig, 1924-, Broy, M., 1949-, North Atlantic Treaty Organization. Scientific Affairs Division Springer-Verlag	11 図書 A logical approach to discrete math Gries, David, 1939-, Schneider, Fred B. Springer-Verlag
6 図書 Formal program development : IFIP TC 2/WG 2.1 state of the art report Möller, Bernhard, 1953-, Partsch, Helmut A., 1950-, Schuman, Steve, 1950-, IFIP TC 2/WG 2.1 Springer-Verlag	12 図書 Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Sixth International Conference on Computer Hardware Description … IFIP WG 10.2 International Conference on Computer Hardware Description Languages and Their Applications, Uehara, T. … North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science, 1983