Formal description of programming concepts--II proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirschen, FRG, 1-4 June 1982

Formal description of programming concepts--II proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirschen, FRG, 1-4 June 1982

Saved in:
Bibliographic Details
Corporate Authors: IFIP Working Conference on Formal Description of Programming Concepts (1982 : Garmisch-Partenkirschen, Germany), IFIP Technical Committee 2--Programming
Other Authors: Bjorner, D. (Dines), 1937-
Format: Book
Language:English
Published: Amsterdam North-Holland Pub. Co. 1983
Subjects:
Formal languages
Computer programming
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Item Description:"Organized by IFIP Technical Committee 2, Programming, International Federation for Information Processing"--P. facing t.p
Physical Description:xii, 455 p. 23 cm.

Similar Items