01865nam0 22003493i 450 AQ1000382420240712062437.00387573356New York3540573356Berlin20111004d1993 ||||0itac50 baengdez01i xxxe z01n˜The œgeneric development language Devapresentation and case studiesMatthias Weber, Martin Simons, Christine LafontaineBerlin [etc.]Springer1993XI, 246 p.24 cmLecture notes in computer scienceedited by G. Goos and J. Hartmanis738001MIL00307032001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis738Elaboratori elettroniciLinguaggio DevaFIRNAPC257871I005.13LINGUAGGI DI PROGRAMMAZIONE14005.131Linguaggi di programmazione. Logica simbolica (Logica matematica)22Weber, MatthiasAQ1V00203007028136Simons, Martin <1965- >AQ1V002031070714580Lafontaine, ChristineAQ1V002032070714581ITIT-NA007920111004IT-BN0095 AQ10003824Biblioteca 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 0000012775 B FD738 v. 7383 1994090720111004 01Generic development language Deva1381910UNISANNIO