>> Amazon.co.jp
このページのQRコード

The science of programming

種類:
図書
責任表示:
David Gries
出版情報:
New York : Springer-Verlag, c1981
著者名:
Gries, David, 1939- <DA0019029X>  
シリーズ名:
Texts and monographs in computer science <BA00039349>
ISBN:
9780387906416 [038790641X] (U.S. : hardcover)  CiNii Books  Calil
9783540906414 [354090641X] (Ger. : hardcover)  CiNii Books  Calil
9780387964805 [0387964800] (U.S. : softcover)  CiNii Books  Calil
9783540964803 [3540964800] (Ger. : softcover)  CiNii Books  Calil
注記:
Bibliography: p. [355]-357
Includes index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

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

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

培風館
7 図書 Logics of programs : Brooklyn, June 17-19, 1985 : proceedings

Parikh, Rohit, 1936-

Springer-Verlag
2 図書 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
8 図書 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
3 図書 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
9 図書 Logic programming '86 : proceedings of the 5th conference, Tokyo, Japan, June 23-26, 1986

Logic Programming Conference, 新世代コンピュータ技術開発機構, 和田, 英一(1931-)

Springer-Verlag
4 図書 A connotational theory of program structure

Royer, James S., 1952-

Springer-Verlag
10 図書 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
5 図書 A Survey of verification techniques for parallel programs

Barringer, Howard, 1951-

Springer-Verlag
11 図書 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
6 図書 From logic design to logic programming : theorem proving techniques and P-functions

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

Springer-Verlag
12 図書 Automata, languages and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985

International Colloquium on Automata, Languages and Programming, Brauer, Wilfried, 1937-, European Association for &hellip;

Springer-Verlag