01373nam2-2200409li-450 99000013035020331620180312154640.00-387-96957-80013035USA010013035(ALEPH)000013035USA0100130352001993031190----km-y0itay0103----baengUSPredicate calculus and program semanticsEdsger W. Dijkstra, Carel S. ScholtenNew York [etc.]Springer-Verlag,copyr. 1990220 p.25 cmTexts and monographs in computer science000100130342001Texts and monographs in computer sciencelinguaggi di programmazione semantica5113Logica simbolica (Logica matematica)Dijkstra,Edsberg Wybe746041Scholten,Carel S.Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000130350203316511.3 DIJ (A)0001748511.3 DIJ (B)4735 Ing.511.3BKTEC1993031120001110USA01171120020403USA011620SIAV31020031003USA011313PATRY9020040406USA011610Predicate calculus and program semantics1488595UNISA