Formal description of programming concepts--III : proceedings of the IFIP TC2/WG 2.2 Working Conference on Formal Description of Programming Concepts , Ebberup, Denmark, 25-28 August, 1986

Bibliographic Information

Formal description of programming concepts--III : proceedings of the IFIP TC2/WG 2.2 Working Conference on Formal Description of Programming Concepts , Ebberup, Denmark, 25-28 August, 1986

edited by Martin Wirsing

North-Holland Pub. Co., 1987

Available at  / 12 libraries

Search this Book/Journal

Note

"Organized by IFIP Technical Committee 2, Programming, International Federation for Information Processing"--Facing t.p.

Includes bibliographies and index

Details

Page Top