LEADER 00628nam0 2200229 450 001 000001277 005 20050630115300.0 100 $a--------d1966----km-y0itay50------ba 101 $aita 102 $aIT 200 1 $a<>fallimento$fFrancesco Ferrara 205 $a2. ed. riveduta e aumentata 210 $aMilano$cGiuffrè$d1966 215 $aXXVIII, 640 p.$d25 cm 610 1 $aFallimento 676 $a346.078 700 1$aFerrara,$bFrancesco$0115395 801 0$aIT $bUNIPARTHENOPE $gRICA $2UNIMARC 912 $a000001277 951 $cNAVA1$a346-F/1$b17986$d20000419 996 $aFallimento$9576417 997 $aUNIPARTHENOPE LEADER 00979nam a22002291i 4500 001 991002014519707536 005 20030807063457.0 008 030925s19uu fr a||||||||||||||||fre 035 $ab12230017-39ule_inst 035 $aARCHE-027765$9ExL 040 $aBiblioteca Interfacoltà$bita$cA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l. 100 1 $aCloché, Paul$0452143 245 10$aThèbes de Béotie :$bdes origines a la conquete romaine /$cPaul Cloche 260 $aNamur :$bSecrétariat des publications, Facultés Universitaires,$c[19..] 300 $a289 p. :$bill. ;$c25 cm 440 0$aBibliotheque de la Faculte de philophie et lettres de Namur ;$vfascicule 13 907 $a.b12230017$b02-04-14$c08-10-03 912 $a991002014519707536 945 $aLE002 St. XI A 21$g1$i2002000698339$lle002$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i12612704$z08-10-03 996 $aThèbes de Béotie$9156683 997 $aUNISALENTO 998 $ale002$b08-10-03$cm$da $e-$ffre$gfr $h0$i1 LEADER 04723nam 22006975 450 001 9910866586803321 005 20250416153158.0 010 $a3-031-63790-9 024 7 $a10.1007/978-3-031-63790-2 035 $a(MiAaPQ)EBC31500271 035 $a(Au-PeEL)EBL31500271 035 $a(CKB)32322826300041 035 $a(DE-He213)978-3-031-63790-2 035 $a(EXLCZ)9932322826300041 100 $a20240621d2024 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aRigorous State-Based Methods $e10th International Conference, ABZ 2024, Bergamo, Italy, June 25?28, 2024, Proceedings /$fedited by Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra 205 $a1st ed. 2024. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2024. 215 $a1 online resource (404 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14759 311 08$a3-031-63789-5 320 $aIncludes bibliographical references and index. 327 $a1 Invited Talk -- Formal Methods and Tools Applied in the Railway Domain -- 2 Research Papers -- Formal Modeling and Analysis of Apache Kafka in Alloy 6 -- Event-B Development of Modelling Human Intervention Request in Self- Driving Vehicle Systems -- Alloy Goes Fuzzy -- Transpilation of Petri-nets into B: Shallow and Deep Embeddings -- A Lean Reflective Abstract State Machine Definition -- Loose Observation in Event-B -- Modal Extensions of the Logic of Abstract State Machines -- An Analysis of the Impact of Field-Value Instance Navigation in Alloy?s Model Finding -- From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code -- 3 Short Research Papers -- An Event-B Formal Model for Access Control and Resource Management of Serverless Apps -- Property Ownership Formal Modelling Using Event-B and iUML-B -- A Modeling and Verification Framework for Ethereum Smart Contracts -- Semantics Formalisation ? From Event-B Contexts to Theories -- Using Symbolic Execution to Transform Turbo Abstract State Machines into Basic Abstract State Machines -- Multi-model Animation with Jeb -- Meta-Programming Event-B: Advancing Tool Support and Language Extensions -- Event-B as DSL in Isabelle and HOL -- ThoR: An Alloy5-based DSL for Interactive Theorem Proving in Coq -- Verifying HyperLTL properties in Event-B -- Small Step Incremental Verification of Compilers -- Designing Exception Handling using Event-B -- 4 Case Study -- The Mechanical Lung Ventilator Case Study -- Real-Time CCSL: Application to the Mechanical Lung Ventilator -- An Event-B Model of a Mechanical Lung Ventilator -- Modelling the Mechanical Lung Ventilation System using TASTD -- Modelling and Analysing a Mechanical Lung Ventilator in mCRL2 -- FRETting and Formal Modelling: A Mechanical Lung Ventilator -- 5 Doctoral Symposium -- From Event-B to Lambdapi -- Proof Construction and Checking on Evolving Abstract State Machines . 330 $aThis book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25?28, 2024. The 29 papers included in this volume were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: research papers; short research papers; case study; doctoral symposium. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v14759 606 $aMachine theory 606 $aComputer engineering 606 $aComputer networks 606 $aApplication software 606 $aLogic programming 606 $aCompilers (Computer programs) 606 $aFormal Languages and Automata Theory 606 $aComputer Engineering and Networks 606 $aComputer and Information Systems Applications 606 $aLogic in AI 606 $aCompilers and Interpreters 615 0$aMachine theory. 615 0$aComputer engineering. 615 0$aComputer networks. 615 0$aApplication software. 615 0$aLogic programming. 615 0$aCompilers (Computer programs) 615 14$aFormal Languages and Automata Theory. 615 24$aComputer Engineering and Networks. 615 24$aComputer and Information Systems Applications. 615 24$aLogic in AI. 615 24$aCompilers and Interpreters. 676 $a006.31 702 $aBonfanti$b Silvia 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910866586803321 996 $aRigorous State-Based Methods$92273643 997 $aUNINA LEADER 01278nam0 2200301 i 450 001 VAN00004221 005 20240806100222.970 010 $a88-243-1020-6 100 $a20020719d1993 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $aUrbanistica e edilizia nell'ordinamento della Regione Campania$fGino Famiglietti, Vincenzo Giuffrè 210 $aNapoli$cJovene$d1993 215 $aVIII, 414 p.$d25 cm. 606 $aEdilizia$xCampania$xLegislazione$3VANC002725$2FI 606 $aUrbanistica$xCampania$xLegislazione$3VANC002724$2FI 620 $dNapoli$3VANL000005 676 $a346.4572045$v21 700 1$aFamiglietti$bGino$3VANV003851$035269 701 1$aGiuffrè$bVincenzo$3VANV001791$0352913 712 $aJovene $3VANV107888$4650 801 $aIT$bSOL$c20260130$gRICA 912 $aVAN00004221 950 $aBIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$d00CONS IV.Eof.16 $e00 5314 20020719 950 $aBIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$d00CONS IV.Eof.16 bis $e00 6797 20020719 996 $aUrbanistica e edilizia nell'ordinamento della Regione Campania$9324877 997 $aUNICAMPANIA