LEADER 01634nam0 22003493i 450 
001 AQ10004596
005 20251003044041.0
010   $a0387574999$bNew York
010   $a3540574999$bBerlin
100   $a20111004d1993    ||||0itac50      ba
101 | $aeng
102   $ade
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aFormal program development$eIFIP TC2/WG 2.1 state of the art report$fBernhard Moller, Helmut Partsch, Steve Schuman (eds.)
210   $aBerlin [etc.]$cSpringer$d1993
215   $a371 p.$d24 cm
225 | $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v755
410  0$1001MIL0030703$12001 $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v755$1702 1$aGoos$b, Gerhard$3AQ1V006441$4340
606   $aElaboratori elettronici$xProgrammazione$2FIR$3CFIC000860$9E
676   $a005.1$9PROGRAMMAZIONE$v14
676   $a005.1$9PROGRAMMAZIONE$v22
702  1$aMoller$b, Bernhard$3AQ1V002445
710 02$aInternational federation for information processing$b : Technical committee 2$b : Working group 2.1$3AQ1V002444$4070$0714601
791 02$aIFIP$b : TC 2$b : WG 2.1$3AQ1V002446$zInternational federation for information processing : Technical committee 2 : Working group 2.1
801  3$aIT$bIT-000000$c20111004
850   $aIT-BN0095          
912   $aAQ10004596
950  0$aBiblioteca Centralizzata di Ateneo$c193 v.$d 01COLL.     ING.                    LNCS$e 0102 0000013315  VMA FD755                 v. 755$fY $h19940912$i20111004
977   $a 01
996   $aFormal program development$91381931
997   $aUNISANNIO