LEADER 01332nam0 22003013i 450 
001 NAP0395496
005 20240830063140.0
010   $a0444891846
100   $a20080130d1991    ||||0itac50      ba
101 | $aeng
102   $anl
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aConstructing programs from specifications$eproceedings of the IFIP TC2/WG 2.1 Working Conference on Constructing Programs from Specifications, Pacific Grove, CA, USA, 13-16 May, 1991 $fedited by B. Möller
210   $aAmsterdam [etc.]$cNorth-Holland$d1991
215   $aX, 515 p.$d23 cm.
606   $aElaboratori elettronici$xProgrammazione$xCongressi$x1991$2FIR$3NAPC258163$9I
676   $a005.1$9PROGRAMMAZIONE$v14
676   $a005.1$9PROGRAMMAZIONE$v22
702  1$aMoller$b, Bernhard$3AQ1V002445
710 12$aIFIP TC2-WG 2.1 working conference on constructing programs from specifications$f <1991$e ; Pacific Grove>$3NAPV105573$4070$0770801
801  3$aIT$bIT-NA0079$c20080130
850   $aIT-BN0095          
912   $aNAP0395496
950  0$aBiblioteca Centralizzata di Ateneo$b1 v.$c1 v.$d 01SALA DING 005.1                   IFIWCO$e 0102 0000013825    B A4                    1 v.$f3 $h20080130$i20080130
977   $a 01
996   $aConstructing programs from specifications$91572914
997   $aUNISANNIO