Loading…
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
Saved in:
Corporate Authors: | IFIP Working Conference on Formal Description of Programming Concepts (1982 : Garmisch-Partenkirschen, Germany), IFIP Technical Committee 2--Programming |
---|---|
Other Authors: | Bjorner, D. (Dines), 1937- |
Format: | Book |
Language: | English |
Published: |
Amsterdam
North-Holland Pub. Co.
1983
|
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Formal description of programming concepts proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977
Published: (1978) -
Computers in language research formal methods
Published: (1979) -
Formal and non-formal education : co-ordination and complimentarity : report of a Regional Operational Seminar, Bangkok and Southern Thailand, 22-31 October 1985.
Published: (1986) -
Formal specification of programming languages a panoramic primer
by: Pagan, Frank G.
Published: (1981) -
Alternative routes to formal education distance teaching for school equivalency
Published: (1982)