01926nam0 22003493i 450 AQ1000459620240726073923.00387574999New York3540574999Berlin20111004d1993 ||||0itac50 baengdez01i xxxe z01nFormal program developmentIFIP TC2/WG 2.1 state of the art reportBernhard Moller, Helmut Partsch, Steve Schuman (eds.)Berlin [etc.]Springer1993371 p.24 cmLecture notes in computer scienceedited by G. Goos and J. Hartmanis755001MIL00307032001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis755Elaboratori elettroniciProgrammazioneFIRNAPC000341I005.1PROGRAMMAZIONE14005.1PROGRAMMAZIONE22Moller, BernhardAQ1V002445International federation for information processing : Technical committee 2 : Working group 2.1AQ1V002444070714601IFIP : TC 2 : WG 2.1AQ1V002446International federation for information processing : Technical committee 2 : Working group 2.1ITIT-NA007920111004IT-BN0095 AQ10004596Biblioteca 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 0000013315 B FD755 v. 7553 1994091220111004 01Formal program development1381931UNISANNIO