The science of programming

フォーマット:
図書
責任表示:
David Gries
言語:
英語
出版情報:
New York : Springer-Verlag, c1981
形態:
xiii, 366 p. ; 24 cm
著者名:
Gries, David, 1939- <DA0019029X>  
シリーズ名:
Texts and monographs in computer science <BA00039349>
書誌ID:
BA00739806
ISBN:
9780387906416 [038790641X] (: U.S. : hardcover)  CiNii Books  Webcat Plus  Google Books
9783540906414 [354090641X] (: Ger. : hardcover)  CiNii Books  Webcat Plus  Google Books
9780387964805 [0387964800] (: U.S. : softcover)  CiNii Books  Webcat Plus  Google Books
9783540964803 [3540964800] (: Ger. : softcover)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 プログラミングの科学

筧, 捷彦(1945-), Gries, David, 1939-

培風館
7 図書 A Survey of verification techniques for parallel programs

Barringer, Howard, 1951-

Springer-Verlag
2 図書 Programming methodology : a collection of articles by members of IFIP WG2.3

Gries, David, 1939-

Springer-Verlag
8 図書 Logics of programs : Brooklyn, June 17-19, 1985 : proceedings

Parikh, Rohit, 1936-

Springer-Verlag
3 図書 An introduction to programming : a structured approach using PL/1 and PL/C

Conway, Richard Walter, 1931-, Gries, David, 1939-

Winthrop Publishers
9 図書 Mathematical foundations of software development : Colloquium on Trees in Algebra and Programming (CAAP '85)

International Joint Conference on Theory and Practice of Software Development, Colloquium on Trees in Algebra and &hellip;

Springer-Verlag
4 図書 Category theory and computer programming : Tutorial and Workshop, Guildford, U.K., September 16-20, 1985 : proceedings

Tutorial and Workshop on Category Theory and Computer Programming, Pitt, David (David H.)

Springer-Verlag
10 図書 From logic design to logic programming : theorem proving techniques and P-functions

Snyers, Dominique, 1959-, Thayse, André, 1940-

Springer-Verlag
5 図書 Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 : proceedings

International Conference on Logic Programming, Shapiro, Ehud Y.

Springer-Verlag
11 図書 Automata, languages and programming : 14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 : proceedings

International Colloquium on Automata, Languages and Programming, Ottmann, Thomas

Springer-Verlag
6 図書 コンパイラ作成の技法

Gries, David, 1939-, 牛島, 和夫

日本コンピュータ協会, 科学技術出版社 (発売)
12 図書 Advanced programming environments : proceedings of an international workshop, Trondheim, Norway, June 16-18, 1986

International Workshop on Advanced Programming Environments, Conradi, Reidar, Didriksen, Tor M., Wanvik, Dag H., &hellip;

Springer-Verlag