>> Google Books
タイトル、所在を表示します

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)
9780070379961 [0070379963] (: McGraw-Hill)
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

Andrews, Derek

Springer

Hoffmann, Berthold, 1953-, Krieg-Brückner, B. (Bernd)

Springer-Verlag

Broy, M., 1949-, Schieder, Birgit, NATO Advanced Study Institute on Mathematical Methods in Program Development

Springer

Liskov, B.

Springer

Moon, B. A. M.

Butterworths

中島, 玲二(1947-), 湯浅, 太一(1952-)

Springer-Verlag

Colin, Andrew John Theodore, 1936-

Macmillan

Peterson, James Lyle, 1949-

Springer-Verlag

Tucker, J. V. (John V.), 1952-, Zucker, J. I.

North-Holland, Sole distributors for the U.S.A and Canada, Elsevier Science Pub. Co.

Guttmann, Anthony J

Heinemann Educational

Möller, Bernhard, 1953-, Partsch, Helmut A., 1950-, Schuman, Steve, 1950-, IFIP TC 2/WG 2.1

Springer-Verlag

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

MIT Press, McGraw-Hill