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

Mathematical methods in program development / edited by Manfred Broy, Birgit Schieder. - Berlin : Springer, 1997. - viii, 528 σ. : εικ. ; 24 εκ. - NATO ASI series : Series F: Computer and systems sciences 158. . - NATO ASI series. Computer and systems sciences 158. .

"Proceedings of the NATO Advances Study Institute on Mathematical Methods in Program Development, held in Marktoberdorf, Germany, July 30-August 11, 1996"--T.p. verso

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

ISBN: 354063195X

Subjects--Topical Terms:
Ηλεκτρονικοί υπολογιστές--Προγραμματισμός

Dewey Class. No.: 005.1