01480nam0 22003733i 450 RMS003007220251003044343.00387969578New York3540969578Berlin20081006d1990 ||||0itac50 baengusz01i xxxe z01nz01ncRDAcarrierPredicate calculus and program semanticsEdsger W. Dijkstra, Carel S. ScholtenNew York [etc.]Springer-Verlagc1990X, 220 p.24 cm.Texts and monographs in computer science001AQ100003642001 Texts and monographs in computer scienceLinguaggi di programmazioneSemanticaFIRUFIC047092I511.3LOGICA MATEMATICA (LOGICA SIMBOLICA)14511.3LOGICA MATEMATICA (LOGICA SIMBOLICA)22Dijkstra, Edsger WybeAQ1V00391407051862Scholten, Carel S.RMSV018144070632276Dijkstra, E. W.UFIV140496Dijkstra, Edsger WybeITIT-00000020081006IT-BN0095 NAP 01SALA DING $RMS0030072Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 511.3 DIJ.pr 0102 0000003975 VMA A4 1 v.Y 1993090519930905 01Predicate calculus and program semantics32589UNISANNIO