02464nam0 22004213i 450 AQ1001304020250103062416.00387565965New York3540565965Berlin20111216d1993 ||||0itac50 baengdez01i xxxe z01nSemanticsfoundations and applicationsREX workshopBeekbergen, the Netherlands, June 1-4, 1992proceedingsJ. W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.)Berlin [etc.]Springerc1993VIII, 659 p.24 cmLecture notes in computer scienceedited by G. Goos and J. Hartmanis666001MIL00307032001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis666702 1Goos, GerhardAQ1V006441340Elaboratori elettroniciLinguaggiCongressi1992FIRNAPC259306ISemanticaCongressi1992FIRNAPC115656I005.13LINGUAGGI DI PROGRAMMAZIONE14005.131Linguaggi di programmazione. Logica simbolica (Logica matematica)22Rozenberg, GrzegorzAQ1V001474Roever, W.-P. : de <1943- >AQ1V003838Bakker, Jacobus Willem : de <1939- >MILV019631REX workshop <1992 ; Beekbergen>AQ1V007077070714687Rozenberg, G. <Grzegorz>USMV920096Rozenberg, GrzegorzBakker, J. W. : deMILV150299Bakker, Jacobus Willem : de <1939- >De Bakker, J. W.SBNV007763Bakker, Jacobus Willem : de <1939- >Research and education in concurrent systems workshop <1992 ; Beekbergen>NAPV120242REX workshop <1992 ; Beekbergen>ITIT-NA007920111216IT-BN0095 AQ10013040Biblioteca 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 0000012515 B A4666 v. 6663 1994070720111216 01Semantics1382030UNISANNIO