LEADER 00925nam a2200217 a 4500
001 991000142739707536
008                                         
035   $ab13819082-39ule_inst
040   $aDip.to Studi Storici$bita
082   $a271
100   $aBonacina, Giovanni$0169780
245 12$aL'origine della Congregazione dei padri Somaschi :$bla Compagnia pretridentina di san Girolamo Miani elevata ad Ordine religioso /$cGiovanni Bonacina
260   $aRoma :$bCuria generale dei padri Comaschi,$c[2009]
300   $a333 p. ;$c24 cm.
650   $aComaschi$xStoria$y1537-1569
907   $a.b13819082$b01-04-09$c25-03-09
912   $a991000142739707536
945   $aLE023 271 BON 1 1     $g1$i2023000108444$lle023$o-$pE20.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i14945964$z25-03-09
996   $aOrigine della Congregazione dei padri Somaschi$91225415
997   $aUNISALENTO
998   $ale023$b  -  -  $cm$da  $e-$fita$git $h2$i0

LEADER 03231nam  22007335  450 
001 9910447248903321
005 20251113202116.0
010   $a3-030-63406-X
024 7 $a10.1007/978-3-030-63406-3
035   $a(CKB)4100000011665260
035   $a(DE-He213)978-3-030-63406-3
035   $a(MiAaPQ)EBC6427577
035   $a(PPN)25251436X
035   $a(EXLCZ)994100000011665260
100   $a20201218d2020      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFormal Methods and Software Engineering $e22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1?3, 2021, Proceedings /$fedited by Shang-Wei Lin, Zhe Hou, Brendan Mahony
205   $a1st ed. 2020.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020.
215   $a1 online resource (XII, 335 p. 386 illus., 48 illus. in color.) 
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v12531
311 08$a3-030-63405-1 
327   $aSafety and Security -- Program Verification -- Formal Methods and Machine Learning -- Formal Languages -- Other Applications of Formal Methods.
330   $aThis book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover theory and applications in formal engineering methods together with case studies. They also represent the recent development in the use and development of formal engineering methods for software and system development.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v12531
606   $aComputer science
606   $aSoftware engineering
606   $aApplication software
606   $aCompilers (Computer programs)
606   $aLogic programming
606   $aNatural language processing (Computer science)
606   $aTheory of Computation
606   $aSoftware Engineering
606   $aComputer and Information Systems Applications
606   $aCompilers and Interpreters
606   $aLogic in AI
606   $aNatural Language Processing (NLP)
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aApplication software.
615  0$aCompilers (Computer programs).
615  0$aLogic programming.
615  0$aNatural language processing (Computer science).
615 14$aTheory of Computation.
615 24$aSoftware Engineering.
615 24$aComputer and Information Systems Applications.
615 24$aCompilers and Interpreters.
615 24$aLogic in AI.
615 24$aNatural Language Processing (NLP).
676   $a004.0151
702   $aLin$b Shang-Wei
702   $aHou$b Zhe
702   $aMahony$b Brendan
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910447248903321
996   $aFormal Methods and Software Engineering$9771999
997   $aUNINA