01472nam0 22003853i 450 PUV008447920251003044310.0020141624720080211d1989 ||||0itac50 baengauz01i xxxe z01nz01ncRDAcarrierProgram derivationthe development of programs from specificationsGeoff DromeySidney [etc.]Addison-Wesley[1989]XVI, 630 p.24 cmInternational computer science series41624Bibliografia: p. 618.001RMS00380742001 International computer science series41624Elaboratori elettroniciProgrammazioneFIRCFIC000860E005.1PROGRAMMAZIONE14005.1PROGRAMMAZIONE22Dromey, R. GeoffRAVV01583207026724Dromey, R. G.NAPV121163Dromey, R. GeoffDromey, GeoffNAPV200401Dromey, R. GeoffDromey, GeoffreyNAPV200402Dromey, R. GeoffITIT-00000020080211IT-BN0095 NAP 01SALA DING $PUV0084479Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 005.1 DRO.pr 0102 0000011625 VMA A4 1 v.Y 2008021120080211 01Program derivation1741875UNISANNIO