Cover is for reference only

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

Saved in:
Bibliographic Details
Corporate Authors: IFIP Working Conference on Formal Description of Programming Concepts (1982 Garmisch-Partenkirchen, Germany); IFIP Technical Committee 2--Programming.
Group Author: Bjørner D.; (Dines), 1937-
Published: North-Holland Pub. Co. Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
Publisher Address: Amsterdam New York New York, N.Y.
Publication Dates: 1983.
Literature type: Book
Language: English
Subjects:
Electronic digital computers > Congresses. > Congresses.
Formal languages > Congresses.
Carrier Form: xii, 455 p.: ; 23 cm.
ISBN: 0444866191
Index Number: TP312
CLC: TP312-532
Call Number: TP312-53/I61.14/1982/
Contents: "Organized by IFIP Technical Committee 2, Programming, International Federation for Information Processing"--P. facing t.p.
Includes bibliographies and index.

Related Book Recommendations