Formal description of programming concepts-II : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts-II, Garmisch-Partenkirchen, FRG, 1-4 June 1982
edited by Dines Bjørner ; [organized by IFIP Technical Committee 2, Programming, International Federation for Information Processing]
Bok Språk ikke angitt 1983 IFIP Working Conference on Formal Description of Programming Concepts
Utgitt | Amsterdam : North-Holland , 1983
|
---|---|
Omfang | xii, 455 s. : fig.
|
Emner | |
ISBN | 0444866191
|