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

Powered by Koha