×

zbMATH — the first resource for mathematics

Formal description of programming concepts. Proceedings of the IFIP working conference on formal description of programming concepts. St. Andrews, N.B., Canada, August 1-5, 1977. (English) Zbl 0367.00022
Amsterdam - New York - Oxford: North-Holland Publishing Company. XVIII, 648 p. $ 59.50; Dfl. 150.00 (1978).

MSC:
00Bxx Conference proceedings and collections of articles
68-06 Proceedings, conferences, collections, etc. pertaining to computer science