Enlarge

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

Publication Data

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
Contributors Erich J. Neuhold, Gerhard Chroust
Publisher North Holland
Publication date 1985
Publication location Amsterdam
Language English

Topics

England

Catalogue Data

OBNB ID GB8741751
ISBN 10 0444878882
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.1

ISBD

P1053 xix,425p.
P1042 Includes bibliographies.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

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. ISBN 0444878882. Published by North Holland in 1985. Publication and catalogue information, links to buy online and reader comments.