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

Logic of programming and calculi of discrete design / edited by Manfred Broy. - Berlin : Springer-Verlag, 1987. - 413 σ. : εικ. ; 25 εκ. - NATO ASI series : Series F: Computer and systems sciences 36. . - NATO ASI series. Series F, Computer and systems sciences 36. .

"Proceedings of the NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design held in Marktoberdorf, Federal Republic of Germany, July 29 - August 10, 1986"

Περιλαμβάνει βιβλιογραφία.

ISBN: 3540180036

Subjects--Topical Terms:
Γλώσσες προγραμματισμού

Dewey Class. No.: 005.131