LEADER 01038nam a2200265 i 4500
001 991002654019707536
005 20020503171830.0
008 010315s1944    sp            ||| | spa  
035   $ab10395805-39ule_inst
035   $aEXGIL107614$9ExL
040   $aBiblioteca Interfacoltà$bita
082 0 $a862.3
100 1 $aVossler, Karl$0151832
245 10$aEscritores y poetas de España /$cKarl Vossler
260   $aMadrid :$bEspasa-Calpe,$c[1944]
300   $a181 p. ;$c19 cm.
490 0 $aColección austral ;$v771
650  4$aLetteratura drammatica spagnola$xAntologie
907   $a.b10395805$b21-02-17$c27-06-02
912   $a991002654019707536
945   $aLE002 Sp. I M 7$g1$i2002000634689$lle002$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i10462570$z27-06-02
945   $aLE002 Fondo Bodini Sp. 252$ced. del 1947$g2$i2002000807328$lle002$o-$pE0.00$q-$rl$so  $t0$u0$v0$w0$x0$y.i15198170$z17-11-10
996   $aEscritores y poetas de España$9220253
997   $aUNISALENTO
998   $ale002$b01-01-01$cm$da  $e-$fspa$gsp $h0$i1

LEADER 02107oam  2200553zu 450 
001 9910376188203321
005 20210807002138.0
035   $a(CKB)3170000000003754
035   $a(SSID)ssj0000752824
035   $a(PQKBManifestationID)12386990
035   $a(PQKBTitleCode)TC0000752824
035   $a(PQKBWorkID)10786919
035   $a(PQKB)10141606
035   $a(Association for Computing Machinery)10.1145/1481848
035   $a(EXLCZ)993170000000003754
100   $a20160829d2009      uy 
101 0 $aeng
135   $aurnn|008mam|a
181   $ctxt
182   $cc
183   $acr
200 10$aPLPV '09 : proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, Savannah, Georgia, USA, January 20, 2009
210 31$a[Place of publication not identified]$cAssociation for Computing Machinery$d2009
215   $a1 online resource (90 p.;) 
225 1 $aACM Conferences
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a1-60558-330-8 
410  0$aACM Conferences
517 3 $aPLPV '09
606   $aComputer programs$xVerification$vCongresses
606   $aProgramming languages (Electronic computers)$vCongresses
606   $aEngineering & Applied Sciences$2HILCC
606   $aComputer Science$2HILCC
615  0$aComputer programs$xVerification
615  0$aProgramming languages (Electronic computers)
615  7$aEngineering & Applied Sciences
615  7$aComputer Science
676   $a005.13
700   $aAltenkirch$b Thorsten$0930976
702   $aMillstein$b Todd
702   $aAltenkirch$b Thorsten
712 02$aA C M Special Interest Group
712 02$aACM Special Interest Group on Programming Languages
712 12$aACM Symposium on Principles of Programming Languages$d(36th :$f2009 :$eSavannah, Ga.)
801  0$bPQKB
906   $aBOOK
912   $a9910376188203321
996   $aPLPV '09 : proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, Savannah, Georgia, USA, January 20, 2009$92094203
997   $aUNINA