Κανονική προβολή Προβολή MARC Προβολή ISBD

Deductive program design / edited by Manfred Broy. - Berlin : Springer, 1996. - viii, 467 σ. : εικ. ; 25 εκ. - NATO ASI series : Series F: Computer and systems sciences 152. . - NATO ASI series. Computer and systems sciences 152. .

"Proceedings of the NATO Advanced Study Institute on Deductive Program Design, held in Marktoberdorf, Germany, July 26-August 7, 1994"--T.p. verso

Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.

ISBN: 3540609474

Subjects--Topical Terms:
Ηλεκτρονική επεξεργασία δεδομένων

Dewey Class. No.: 004