>> Google Books
所蔵情報QRコード

Mes premières constructions de programmes / A. Gerbier, [avec la collaboration de Pierre Bacchus et al.]

資料種別:
図書
出版情報:
Berlin ; New York : Springer-Verlag, 1977
形態:
xii, 256 p. ; 25 cm
シリーズ名:
Lecture notes in computer science ; 55 <BA00009279>
著者名:
ISBN:
9783540084389 [354008438X] (: gw)
9780387084381 [038708438X] (: us)
書誌ID:
BA06388012
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 電子ブック Mes premières constructions de programmes

Gerbier, A., Bacchus, P.

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
7 図書 Coordinated computing : tools and techniques for distributed software

Filman, Robert E., Friedman, Daniel P.

McGraw-Hill
2 電子ブック Mes premieres constructions de programmes

Gerbier, A., SpringerLink (Online service)
8 図書 Scheme and the art of programming

Springer, George, 1924-, Friedman, Daniel P.

MIT Press, McGraw-Hill
3 図書 On the construction of programs

McKeag, R. M., Macnaghten, A. M.

Cambridge University Press
9 図書 Elements of computer programming

Swallow, Kenneth P., Price, Wilson T.

Holt, Rinehart and Winston
4 図書 Knowledge-based program construction (: pbk)

Barstow, David R.

North Holland
10 図書 Computer programming: techniques, analysis, and mathematics

Andree, Richard Vernon, 1919-, Andree, Josephine P., Andree, David D.

Prentice-Hall
5 図書 Program construction and verification (: pbk)

Backhouse, Roland C., 1948-

Prentice-Hall
11 図書 Guide to good programming practice (Horwood ; Halsted Press)

Meek, B. L. (Brian Lawrence), Heath, P. M. (Patricia M.)

E. Horwood, Halsted Press
6 図書 Algorithms : the construction, proof, and analysis of programs (: pbk)

Berlioux, Pierre, Bizard, Philippe

J. Wiley
12 図書 Система автоматизации программирования

Trifonov, N. P. (Nikolaĭ Pavlovich), Shura-Bura, M. R. (Mikhail Romanovich)

Гос. изд-во физико-математической лит-ры
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12