LEADER 03565nam  22006375  450 
001 9910485148203321
005 20200629150432.0
010   $a3-642-40615-7
024 7 $a10.1007/978-3-642-40615-7
035   $a(CKB)3710000000015938
035   $a(SSID)ssj0000988140
035   $a(PQKBManifestationID)11544503
035   $a(PQKBTitleCode)TC0000988140
035   $a(PQKBWorkID)10950248
035   $a(PQKB)11502346
035   $a(DE-He213)978-3-642-40615-7
035   $a(MiAaPQ)EBC3093462
035   $a(PPN)172429749
035   $a(EXLCZ)993710000000015938
100   $a20130822d2013      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFormal Methods for Components and Objects $e11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /$fedited by Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (X, 241 p. 125 illus.) 
225 1 $aProgramming and Software Engineering ;$v7866
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-40614-9 
327   $aThe Abstract Behavioral Specification Language: A Tutorial Introduction -- Subobject-Oriented Programming -- Verification of Open Concurrent Object Systems -- Automatic Inference of Bounds on Resource Consumption -- Separating Cost and Capacity for Load Balancing in ABS Deployment Models -- Composing Distributed Systems: Overcoming the Interoperability Challenge -- Controlling Application Interactions on the Novel Smart Cards with Security-by-Contract -- Formal Aspects of Free and Open Source Software Components.
330   $aThis book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems.
410  0$aProgramming and Software Engineering ;$v7866
606   $aSoftware engineering
606   $aComputer logic
606   $aMathematical logic
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aMathematical logic.
615 14$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
676   $a005.1
702   $aGiachino$b Elena$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aHähnle$b Reiner$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $ade Boer$b Frank S$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aBonsangue$b Marcello M$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a9910485148203321
996   $aFormal Methods for Components and Objects$9772145
997   $aUNINA