02077nam0 22003613i 450 AQ1001303220240906062529.00387566252New York3540566252Berlin20111031d1993 ||||0itac50 baengdez01i xxxe z01nMathematics of program constructionsecond international conferenceOxford, U. K., June 29 - July 3, 1992proceedingsR. S. Bird, C. C. Morgan, J. C. P. Woodcock (eds.)Berlin [etc.]Springerc1993VIII, 378 p.24 cmLecture notes in computer scienceedited by G. Goos and J. Hartmanis669001MIL00307032001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis669Elaboratori elettroniciProgrammazioneCongressi1992FIRNAPC242170ILogica matematicaCongressi1992FIRNAPC242160I005.1015113Programmazione. Principi matematici. Logica matematica (Logica simbolica)22Woodcock, James C. P.AQ1V007060Bird, Richard S. <1943- >AQ1V007062Morgan, C. Carroll <1952- >AQ1V007063International conference on the mathematics of program construction <2. ; 1992 ; Oxford>NAPV119481070714684ITIT-NA007920111031IT-BN0095 AQ10013032Biblioteca Centralizzata di Ateneov. 6;51;259;272;612-613;615-616;618;620;626;629-631;634-635;647;649-650;652;655-658;661-666;668-670;672-676;678;680;682-688;690-694;696-697;700-722;724-726;729-742;747-753;755-763;765;767-769;771-783;785-794;796-797;800-803;805-807;809;812-813;815-821;823-826;828-829;831-832;834;836;839-846;848-860;863-866;868;1147;2282;3185;3889193 v. 01COLL. ING. LNCS 0102 0000012575 B FD669 V. 6693 1994070720111031 01Mathematics of program construction1382027UNISANNIO