Research Catalog

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 / edited by Dines Bjørner.

Title: 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 / edited by Dines Bjørner.
Author: IFIP Working Conference on Formal Description of Programming Concepts (1982 : Garmisch-Partenkirchen, Germany)

Items in the Library & Off-site

Filter by

2 Items

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Use in library	QA76.6 .I25 1982	Off-site
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Use in library	QA76.6 .I25 1982	Off-site

Details

Additional Authors

Description

xii, 455 p.; 23 cm.

Subjects

ISBN

0444866191

LCCN

83000558

Owning Institutions

Columbia University Libraries