LEADER 01015nam0-2200325---450-
001 990009663940403321
005 20130110162811.0
010   $a978-3-8233-6643-0
035   $a000966394
035   $aFED01000966394
035   $a(Aleph)000966394FED01
035   $a000966394
100   $a20130110d2011----km-y0itay50------ba
101 0 $amul
102   $aDE
105   $a--------001yy
200 1 $aRahmen des Sprechens$eBeiträge zu Valenztheorie, Varietätenlinguistik, Kreolistik, kognitiver und historischer Semantik$ePeter Koch zum 60. Geburtstag$fHerausgegeben von Sarah Dessì Schmid ... [et al.]
210   $aTübingen$cNarr$d2011
215   $aXXV, 435 p.$d24 cm
610 0 $aLingue romanze
676   $a440.047
702  1$aDessì Schmid,$bSarah
702  1$aKoch,$bPeter
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990009663940403321
952   $a440 DES 1$bDip.Fil.Mod.18781$fFLFBC
959   $aFLFBC
996   $aRahmen des Sprechens$9838736
997   $aUNINA

LEADER 02966nam  22007215  450 
001 9910574058803321
005 20251225212334.0
010   $a3-031-07727-X
024 7 $a10.1007/978-3-031-07727-2
035   $a(MiAaPQ)EBC7007366
035   $a(Au-PeEL)EBL7007366
035   $a(CKB)23114192800041
035   $aEBL7007366
035   $a(AU-PeEL)EBL7007366
035   $a(PPN)268784744
035   $a(BIP)84392594
035   $a(BIP)84058065
035   $a(DE-He213)978-3-031-07727-2
035   $a(EXLCZ)9923114192800041
100   $a20220530d2022      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aIntegrated Formal Methods $e17th International Conference, IFM 2022, Lugano, Switzerland, June 7?10, 2022, Proceedings /$fedited by Maurice H. ter Beek, Rosemary Monahan
205   $a1st ed. 2022.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022.
215   $a1 online resource (372 pages)
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13274
300   $aIncludes index.
311 08$aPrint version: ter Beek, Maurice H. Integrated Formal Methods Cham : Springer International Publishing AG,c2022 9783031077265 
330   $aThis book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022. The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions. The papers are categorized into the following topical sub-headings: Invited Papers; Cooperative and Relational Verification; B Method; Time; Probability; learning and Synthesis; Security; Stats Analysis and Testing; PhD Symposium Presentations.
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v13274
606   $aSoftware engineering
606   $aComputer engineering
606   $aComputer networks
606   $aComputer science
606   $aArtificial intelligence
606   $aSoftware Engineering
606   $aComputer Engineering and Networks
606   $aComputer Science Logic and Foundations of Programming
606   $aArtificial Intelligence
615  0$aSoftware engineering.
615  0$aComputer engineering.
615  0$aComputer networks.
615  0$aComputer science.
615  0$aArtificial intelligence.
615 14$aSoftware Engineering.
615 24$aComputer Engineering and Networks.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aArtificial Intelligence.
676   $a004.0151
676   $a004.0151
702   $aBeek$b Maurice H. ter
702   $aMonahan$b Rosemary
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910574058803321
996   $aIntegrated Formal Methods$92860239
997   $aUNINA