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) -
Automation of Formal Verification of Programs in the Pifagor Language
by: M. S. Ushakova, et al.
Published: (2015-08-01) -
Formal Verification of Programs in Functional Dataflow Parallel Language
by: M. S. Kropacheva, et al.
Published: (2015-03-01) -
Formal specification of programming languages a panoramic primer
by: Pagan, Frank G.
Published: (1981) -
Development and Application of a Software Tool to Support the Teaching of Formal Languages
by: A. P. Sergushicheva, et al.
Published: (2021-08-01)