LEADER 01573nam0 22003493i 450 
001 AQ10003824
005 20251003044041.0
010   $a0387573356$bNew York
010   $a3540573356$bBerlin
100   $a20111004d1993    ||||0itac50      ba
101 | $aeng
102   $ade
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aˆThe ‰generic development language Deva$epresentation and case studies$fMatthias Weber, Martin Simons, Christine Lafontaine
210   $aBerlin [etc.]$cSpringer$d1993
215   $aXI, 246 p.$d24 cm
225 | $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v738
410  0$1001MIL0030703$12001 $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v738$1702 1$aGoos$b, Gerhard$3AQ1V006441$4340
606   $aElaboratori elettronici$xLinguaggio Deva$2FIR$3NAPC257871$9I
676   $a005.13$9LINGUAGGI DI PROGRAMMAZIONE$v14
676   $a005.131$9Linguaggi di programmazione. Logica simbolica (Logica matematica)$v22
700  1$aWeber$b, Matthias$3AQ1V002030$4070$028136
701  1$aSimons$b, Martin$f <1965-    >$3AQ1V002031$4070$0714580
701  1$aLafontaine$b, Christine$3AQ1V002032$4070$0714581
801  3$aIT$bIT-000000$c20111004
850   $aIT-BN0095          
912   $aAQ10003824
950  0$aBiblioteca Centralizzata di Ateneo$c193 v.$d 01COLL.     ING.                    LNCS$e 0102 0000012775  VMA FD738                 v. 738$fY $h19940907$i20111004
977   $a 01
996   $aGeneric development language Deva$91381910
997   $aUNISANNIO