Research Catalog

Formal models in programming : proceedings of the IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February 1985

Title: Formal models in programming : proceedings of the IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February 1985 / edited by E.J. Neuhold and G. Chroust.
Publication: Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985.

Items in the Library & Off-site

Filter by

1 Item

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	Request in advance	JSD 86-315	Offsite

Details

Additional Authors

Description

xix, 425 p. : ill., port.; 23 cm.

Subjects

Bibliography (note)

Includes bibliographies.

Call Number

JSD 86-315

ISBN

0444878882 (Elsevier)

LCCN

85025214

OCLC

12665912
NYPG86-B24095

Title

Formal models in programming : proceedings of the IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February 1985 / edited by E.J. Neuhold and G. Chroust.

Imprint

Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985.

Bibliography

Includes bibliographies.

Added Author

Neuhold, Erich J.

Chroust, Gerhard, 1941-

IFIP Technical Committee 2--Programming.

Research Call Number

JSD 86-315

View in Legacy Catalog