Formal description of programming concepts - II : proceedings of the IFIP working conference on formal description of programming concepts, Garmisch-Partenkirchen, FRG, 1-4 June, 1982 / edited by Dines Bjorner
IFIP working conference on formal description of programming concepts (1982 : Garmisch-Partenkirchen, FRG)
Formal description of programming concepts - II : proceedings of the IFIP working conference on formal description of programming concepts, Garmisch-Partenkirchen, FRG, 1-4 June, 1982 / edited by Dines Bjorner - - Amsterdam North-Holland, 1983 - xii,455 p. 22 cm - .
0-444-86619-10
Formal languages-semantics-Congresses
Programming languages (Electronic computers)
681.3.06 IFI:82
Formal description of programming concepts - II : proceedings of the IFIP working conference on formal description of programming concepts, Garmisch-Partenkirchen, FRG, 1-4 June, 1982 / edited by Dines Bjorner - - Amsterdam North-Holland, 1983 - xii,455 p. 22 cm - .
0-444-86619-10
Formal languages-semantics-Congresses
Programming languages (Electronic computers)
681.3.06 IFI:82