01163nam--2200397---450-99000033756020331620060206103808.00033756USA010033756(ALEPH)000033756USA01003375620010207d20002001km-y0itay0103----baitaIT||||||||001yyMaurizio Roasio813 CDavide PellegriniRomaVerso l'arte200022 p.ill.24 cmRoasio, MaurizioEsposizioni759.5ROASIO,MaurizioPELLEGRINI,DavideITsalbcISBD990000337560203316XII.2.C. 1022(VII P 468)154203 L.M.VII P00005992BKUMATAMI4020010207USA011639TAMI4020010207USA011639TAMI4020010207USA011641TAMI4020010212USA01130620020403USA011641PATRY9020040406USA011624COPAT69020060206USA011038Maurizio Roasio212968UNISA01432nam0 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