Formal description of programming concepts-II
Bjorner, Dines (ed)
Formal description of programming concepts-II - Amsterdam : North-Holland, 1983 - 455p., 24cm
Proceedings of the IFIP working conference on Formal Description of Programming Concepts-II. Garmisch-Partenkirchen, FRG, 1-4 June, 1982
0444866191
Formal languages
Programming languages (Electronic computers)--Semantics
005.13 / BJO
Formal description of programming concepts-II - Amsterdam : North-Holland, 1983 - 455p., 24cm
Proceedings of the IFIP working conference on Formal Description of Programming Concepts-II. Garmisch-Partenkirchen, FRG, 1-4 June, 1982
0444866191
Formal languages
Programming languages (Electronic computers)--Semantics
005.13 / BJO