Abstraction and specification in program development

フォーマット:
図書
責任表示:
Barbara Liskov and John Guttag
言語:
英語
出版情報:
Cambridge, Mass. : MIT Press
New York : McGraw-Hill, c1986
形態:
xv, 469 p. ; 24 cm
著者名:
シリーズ名:
The MIT electrical engineering and computer science series <BA00008844>
書誌ID:
BA00079365
ISBN:
9780262121125 [0262121123] (: MIT Press)  CiNii Books  Webcat Plus  Google Books
9780070379961 [0070379963] (: McGraw-Hill)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Programming from specifications

Morgan, Carroll, 1952-

Prentice Hall
7 図書 Genetic programming : proceedings of the First Annual Conference, 1996

Genetic programming conference, Koza, John R.

MIT Press
2 図書 The program development process

Aron, J. D. (Joel D.)

Addison-Wesley Pub. Co.
8 図書 C4.5 : programs for machine learning

Quinlan, J. R. (John Ross), 1943-

Morgan Kaufmann Publishers
3 図書 Algorithmic language and program development

Bauer, Friedrich Ludwig, 1924-, Wössner, H. (Hans)

Springer-Verlag
9 図書 Formal specification and software development

Bjørner, D. (Dines), 1937-, Jones, Cliff B., 1944-, Andrews, Derek

Prentice-Hall International
4 図書 Systems programming

Donovan, John J

McGraw-Hill
10 図書 A method of programming

Dijkstra, Edsger Wybe, 1930-, Feijen, W. H. J.

Addison-Wesley
5 図書 Genetic programming : on the programming of computers by means of natural selection

Koza, John R.

MIT Press
11 図書 Literate programming

Knuth, Donald Ervin, 1938-

Center for the Study of Language and Information
6 図書 Guide to good programming practice

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

E. Horwood, Halsted Press
12 図書 A discipline of programming

Dijkstra, Edsger Wybe, 1930-

Prentice-Hall