*Result*: Formal description of programming concepts
*Title*:
Formal description of programming concepts : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 2, Garmisch-Partenkirchen, FRG, 1 - 4 June , 1982 / ed. by Dines Bjørner
*Author/editor-in-chief*:
*Corporate*:
*Publication*:
Amsterdam : North-Holland Publ. Co., 1983
*Physical description scale*:
XII, 455 Seiten
*Format*:
*Language*:
*eng*
*RVK-Notation*:
*Subject Added Keywords*:
*ISBN*:
0444866191