Abstraction and specification in program development
Κύριοι συγγραφείς: | Guttag, John (Συγγραφέας), Liskov, Barbara, 1939- (Συγγραφέας) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cambridge Mass. New York
Massachusetts Institute of Technology Cambridge Mass. McGraw-Hill
c1986 c1986
|
Σειρά: | MIT Press Electrical Engineering and Computer Science Series
|
Θέματα: |
Παρόμοια τεκμήρια
-
The science of programming
ανά: Gries, David
Έκδοση: (1981) -
Functional programming
ανά: Field, Anthony J., κ.ά.
Έκδοση: (1988) -
The logic of programming
ανά: Hehner, Eric C.
Έκδοση: (1984) -
Structured programming
ανά: Dahl, O. J., κ.ά.
Έκδοση: (1972) -
Functional programming Application and implementation
ανά: Henderson, Peter
Έκδοση: (1980)