LEADER 01998nam  2200457   450 
001 9910376031103321
005 20180829210208.0
035   $a(CKB)4100000004910355
035   $a(WaSeSS)IndRDA00103991
035   $a(EXLCZ)994100000004910355
100   $a20180829d2018      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aCPP '18 $eproceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs : January 8-9, 2018, Los Angeles, CA, USA /$fedited by June Andronick and Amy Felty ; sponsored by ACM SIGPLAN
210  1$aNew York :$cACM,$d2018.
215   $a1 online resource (306 pages)
300   $aIncludes index.
311   $a1-4503-5586-2 
517 1 $aProceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs
517 1 $aProceedings of the seventh Association for Computing Machinery Special Interest Group on Programming Languages International Conference on Certified Programs and Proofs
517 1 $aCertified Programs and Proofs 2018 :$eproceedings of the seventh Association for Computing Machinery Special Interest Group on Programming Languages International Conference on Certified Programs and Proofs : January 8-9, 2018, Los Angeles, CA, USA
606   $aComputer science$xMathematics$vCongresses
606   $aProof theory$xData processing$vCongresses
606   $aFormal methods (Computer science)$vCongresses
608   $aElectronic books.
615  0$aComputer science$xMathematics
615  0$aProof theory$xData processing
615  0$aFormal methods (Computer science)
676   $a004.0151
702   $aAndronick$b June
702   $aFelty$b Amy
712 02$aACM Special Interest Group on Programming Languages,
801  0$bWaSeSS
801  1$bWaSeSS
906   $aBOOK
912   $a9910376031103321
996   $aCPP '18$92089026
997   $aUNINA

LEADER 02035nas2 2200493 n 450 
001 990009048940403321
005 20240229084547.0
011   $a1591-8157
035   $a000904894
035   $aFED01000904894
035   $a(Aleph)000904894FED01
035   $a000904894
091   $2CNR$aP 00007082
100   $a20090724b18841943km-y0itaa50------ba
101 0 $aita
102   $aIT
110   $aauu--------
200 1 $aRivista di artiglieria e genio
207  1$a1884-1943
210   $aRoma$c[s.n.]
421  0$12001$aRivista militare di medicina veterinaria
430  0$1001000896871$12001$aGiornale di artiglieria e genio. Parte 2. Non ufficiale
434  0$1001000896870$12001$aGiornale di artiglieria e genio. Parte 1. Ufficiale
440  0$12001$aRivista militare
461  0$1001000903547$12001$aRassegna di cultura militare
530 0 $aRivista di artiglieria e genio
675   $a358
675   $a623.1
675   $a623.2
675   $a623.4
675   $a623.5
675   $a623.6
712 01$aItalia.$bMinistero della guerra
801  0$aIT$bACNP$c20090723
859 4 $uhttp://acnp.cib.unibo.it/cgi-ser/start/it/cnr/dc-p1.tcl?catno=3413&person=false&language=ITALIANO&libr=&libr_th=unina1$zBiblioteche che possiedono il periodico
901   $aSE
912   $a990009048940403321
958   $aBiblioteca Centrale "F. Gasparini". Facoltà di Ingegneria. Università degli Studi di Napoli "Federico II"$b1884-1915;1917-1942;$edIIa1$fFINBC FINAG
959   $aFINBC
959   $aFINAG
996   $aRivista di artiglieria e genio$9788873
997   $aUNINA
AP1 8 $6866-01$aNA104 Biblioteca Centrale "F. Gasparini". Facoltà di Ingegneria. Università degli Studi di Napoli "Federico II"$bdIIa1$ep.le Tecchio,80, 80125 Napoli (NA)$m0817682190;0817682195$m0817682188$nit
AP2 40$aacnp.cib.unibo.it$nACNP Italian Union Catalogue of Serials$uhttp://acnp.cib.unibo.it/cgi-ser/start/it/cnr/df-p.tcl?catno=3413&language=ITALIANO&libr=&person=&B=1&libr_th=unina&proposto=NO