Formal description of programming concepts-II : proceedings of the IFIP Working Conference on Formal - detaljert visning

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


Utgitt	Amsterdam : North-Holland , 1983
Omfang	xii, 455 s. : fig.
Emner	Electronic digital computers - Programming Formal languages - Congresses. Formelle språk Programmering (Databehandling)
ISBN	0444866191