LEADER 01040nam a22002531i 4500
001 991004190149707536
005 20020823114144.0
008 020823s1973    it |||||||||||||||||ita  
035   $ab1193492x-39ule_inst
035   $aARCHE-002474$9ExL
040   $aDip.to Filologia Ling. e Lett.$bita$cA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l.
082 04$a853.91
100 1 $aBrignetti, Raffaello$083350
245 13$aIl gabbiano azzurro /$cRaffaello Brignetti ; introduzione di Ariodante Marianni
260   $aMilano :$bA. Mondadori,$c1973
300   $aXIV, 189 p. ;$c19 cm
440  4$aGli Oscar
907   $a.b1193492x$b02-04-14$c01-04-03
912   $a991004190149707536
945   $aLE008 TS B VII 10$g1$i2008000515157$lle008$o-$pE0.00$q-$rl$s-  $t0$u6$v3$w6$x0$y.i12208267$z01-04-03
945   $aLE002 Fondo Giudici E 1039$g1$i2002000227386$lle002$o-$pE0.00$q-$rn$so  $t0$u0$v0$w0$x0$y.i15142097$z09-06-10
996   $aGabbiano azzurro$9913363
997   $aUNISALENTO
998   $ale008$ale002$b01-04-03$cm$da  $e-$fita$git $h3$i1

LEADER 03702nam  22008295  450 
001 9910483241103321
005 20251226200351.0
010   $a3-319-12154-5
024 7 $a10.1007/978-3-319-12154-3
035   $a(CKB)3710000000269690
035   $a(SSID)ssj0001372828
035   $a(PQKBManifestationID)11761820
035   $a(PQKBTitleCode)TC0001372828
035   $a(PQKBWorkID)11305160
035   $a(PQKB)11261528
035   $a(DE-He213)978-3-319-12154-3
035   $a(MiAaPQ)EBC6298616
035   $a(MiAaPQ)EBC5591019
035   $a(Au-PeEL)EBL5591019
035   $a(OCoLC)894503945
035   $a(PPN)182097781
035   $a(EXLCZ)993710000000269690
100   $a20141013d2014      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aVerified Software: Theories, Tools and Experiments $e6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers /$fedited by Dimitra Giannakopoulou, Daniel Kroening
205   $a1st ed. 2014.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014.
215   $a1 online resource (X, 287 p. 107 illus.) 
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v8471
300   $aIncludes index.
311 08$a3-319-12153-7 
327   $aAnalysis: understanding and explanation -- Verification frameworks and applications -- Hypervisors and dynamic data structures -- Certification -- Real time and security.
330   $aThis volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully revised and selected from 34 submissions. The papers are organized in topical sections such as analysis: understanding and explanation; verification frameworks and applications; hypervisors and dynamic data structures; certification; real time and security.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v8471
606   $aSoftware engineering
606   $aComputer science
606   $aCompilers (Computer programs)
606   $aComputer programming
606   $aMachine theory
606   $aArtificial intelligence
606   $aSoftware Engineering
606   $aComputer Science Logic and Foundations of Programming
606   $aCompilers and Interpreters
606   $aProgramming Techniques
606   $aFormal Languages and Automata Theory
606   $aArtificial Intelligence
615  0$aSoftware engineering.
615  0$aComputer science.
615  0$aCompilers (Computer programs).
615  0$aComputer programming.
615  0$aMachine theory.
615  0$aArtificial intelligence.
615 14$aSoftware Engineering.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aCompilers and Interpreters.
615 24$aProgramming Techniques.
615 24$aFormal Languages and Automata Theory.
615 24$aArtificial Intelligence.
676   $a005.14
702   $aGiannakopoulou$b Dimitra$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aKroening$b Daniel$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483241103321
996   $aVerified Software. Theories, Tools and Experiments$93004619
997   $aUNINA