01432nam0 22003733i 450 PUV004914320251003044310.0020117237220080129d1990 ||||0itac50 baengusz01i xxxe z01nFormal development of programs and proofsedited by Edsger W. DijkstraReading, MassachusettsAddison-Wesleycopyr. 1990XIV, 241 p.25 cmˆThe ‰UT Year of Programming Series001NAP03953562001 ˆThe ‰UT Year of Programming SeriesElaboratori elettroniciProgrammazioneCongressi1987FIRNAPC223521I005.1PROGRAMMAZIONE14005.1PROGRAMMAZIONE22ConvegniCongressi e convegniCongressiConvegniCongressiCongressi e convegniDijkstra, Edsger WybeAQ1V003914Dijkstra, E. W.UFIV140496Dijkstra, Edsger WybeITIT-00000020080129IT-BN0095 NAP 01SALA DING $PUV0049143Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 005.1 FORDOP 0102 0000009255 VMA A4 1 v.Y 2008012920080129 01Formal development of programs and proofs1574050UNISANNIO