01063nam0-22003371i-450-99000049517040332120080715110614.00-13-329003-4000049517FED01000049517(Aleph)000049517FED0100004951720020821d1982----km-y0itay50------baenga-------001yyFormal specification and software developmentDines Bjørner, Cliff B. JonesEnglewood Cliffs, New Jersey ...[etc.]Prentice-Hall©1982501 p.ill.24 cmPrentice-Hall international series in computer scienceProgrammazioneCompatibilità dei software005.133Bjørner,Dines<1937- >434385Jones,Cliff B.26769ITUNINARICAUNIMARCBK99000049517040332110 P.T. 1661867 CCEDINELDINELFormal specification and software development333264UNINA