Deductive program design /
Συγγραφή απο Οργανισμό/Αρχή: | NATO Advanced Study Institute on Deductive Program Design Marktoberdorf, Germany |
---|---|
Άλλοι συγγραφείς: | Broy, M., 1949- (επιμελητής.) |
Μορφή: | Πρακτικό Συνεδρίου Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin :
Springer,
1996.
|
Σειρά: | NATO ASI series. Computer and systems sciences
152. |
Θέματα: |
Παρόμοια τεκμήρια
-
Schaum's outline of theory and problems of data processing
ανά: Lipschutz, Martin M., κ.ά.
Έκδοση: (1981) -
The computerized society : an appraisal of the impact of computers on society over the next fifteen years /
ανά: Martin, James, 1933-2013
Έκδοση: (1970) -
Constructive methods in computing science / international summer school directed by F.L. Bauer ... [et al.] /
Έκδοση: (1989) -
How to write tutorial documentation
ανά: Crandall, Judith A. 1944-
Έκδοση: (1987) -
Man-computer problem solving experimental evaluation of time-sharing and batch processing
ανά: Sackman, Harold
Έκδοση: (1970)