Enlarge

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

Publication Data

Title 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
Contributor D. Bjørner
Publisher North-Holland
Publication date 1983
Publication location Amsterdam
Language English

Topics

Computer programming :: Congresses
England

Catalogue Data

OBNB ID GB8341994
ISBN 10 0444866191
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.3

ISBD

P1053 xii,455p.
P1042 Includes bibliographies and index.

Buy a copy

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

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