00847cam2 22002531 450 SOBE0008055120240621102421.020240621d1980 |||||ita|0103 bagerDE<<4: >>Historische SchriftenFriedrich SchillerMünchenCarl Hanser Verlag19801067 p.18 cm001E6002000380752001 Sämtliche Werke / Friedrich Schiller4Schiller, FriedrichA60020002562807037289ITUNISOB20240621RICAUNISOBUNISOB83033295SOBE00080551M 102 Monografia moderna SBNM830000261-4SI33295acquistobethbUNISOBUNISOB20240621102303.020240621102421.0bethbHistorische Schriften448089UNISOB02227nam0 22004573i 450 AQ1001303220251003044042.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. Hartmanis669702 1Goos, GerhardAQ1V006441340LOGICA MATEMATICACONGRESSI1992FIRMILC069750IELABORATORI ELETTRONICIPROGRAMMAZIONECONGRESSI1992FIRMILC052201I005.1015113Programmazione. Principi matematici. Logica matematica (Logica simbolica)22ConvegniCongressi e convegniLogica simbolicaLogica matematica <Logica simbolica>ConvegniCongressi e convegniCongressiConvegniCongressiCongressi e convegniLogica matematicaLogica simbolicaLogica matematicaLogica matematica <Logica simbolica>CongressiConvegniCongressiCongressi e convegniWoodcock, James C. P.AQ1V007060Bird, Richard S. <1943- >AQ1V007062Morgan, C. Carroll <1952- >AQ1V007063International conference on the mathematics of program construction <2. ; 1992 ; Oxford>NAPV119481070714684ITIT-00000020111031IT-BN0095 AQ10013032Biblioteca Centralizzata di Ateneo193 v. 01COLL. ING. LNCS 0102 0000012575 VMA FD669 V. 669Y 1994070720111031 01Mathematics of program construction1382027UNISANNIO