01466nam--2200397---450-9900003629402033160036294USA010036294(ALEPH)000036294USA01003629420010316d1983----km-y0itay0103----baengNL||||||||001yyFormal description of programminf concepts IIproceedings of the IFIP working conference on formal description of programming concepts - II Garmisch-Partenkirchen, FRG, 1-4 June 1982Dines BjornerAmsterdamNorth-Holland publishing company1983XII, 455 p.ill.22 cm2001001-------2001Elaboratori elettroniciProgrammazioneCongressi1982CongressiGarmisch-Partenkirchen1982001.64BJORNER,DinesIFIP working conference on formal description of programming concepts-II <Garmisch-Partenkirchen; 1982>543669ITsalbcISBD990000362940203316001.64 IFI19440001.6400105540BKSCIPATTY9020010316USA011221PATTY9020010316USA011225PATTY9020010320USA01160120020403USA011644PATRY9020040406USA011625Formal description of programminf concepts II876899UNISA