| 000 | 05070cam a2200841 i 4500 | ||
|---|---|---|---|
| 001 | ocn859590100 | ||
| 003 | OCoLC | ||
| 005 | 20250703163006.0 | ||
| 006 | m o d | ||
| 007 | cr cnu|||unuuu | ||
| 008 | 130822s2013 gw a ob 101 0 eng d | ||
| 040 |
_aNUI _beng _erda _epn _cNUI _dGW5XE _dUKMGB _dCOO _dZMC _dOHS _dOCLCO _dOCLCF _dOCLCQ _dOCLCO _dYDXCP _dOCL _dOCLCO _dEBLCP _dOCLCO _dOCLCQ _dOCLCO _dOCLCQ _dOCLCO _dDIBIB _dOCLCO _dJG0 _dMERER _dDGU _dOCLCQ _dU3G _dIOG _dOCLCO _dOCLCA _dBUF _dOCLCO _dCEF _dOCLCQ _dU3W _dAU@ _dOCLCO _dWYU _dYOU _dTKN _dOCLCQ _dOCLCO _dOCLCQ _dOCLCA _dOCLCQ _dOCLCA _dAJS _dUKAHL _dOCLCO _dCOM _dOCLCO _dOCLCQ _dOCLCO _dOCLCL _dOCLCQ |
||
| 016 | 7 |
_a016496848 _2Uk |
|
| 019 |
_a934988076 _a936312643 |
||
| 020 |
_a9783642406157 _q(electronic bk.) |
||
| 020 |
_a3642406157 _q(electronic bk.) |
||
| 020 | _a3642406149 | ||
| 020 | _a9783642406140 | ||
| 020 | _z9783642406140 | ||
| 024 | 7 |
_a10.1007/978-3-642-40615-7 _2doi |
|
| 029 | 1 |
_aAU@ _b000052281476 |
|
| 029 | 1 |
_aAU@ _b000053001676 |
|
| 029 | 1 |
_aAU@ _b000060391225 |
|
| 029 | 1 |
_aNZ1 _b15139849 |
|
| 035 |
_a(OCoLC)859590100 _z(OCoLC)934988076 _z(OCoLC)936312643 |
||
| 050 | 4 |
_aQA76.9.F67 _bF53 2012 |
|
| 060 | 4 | _aQA 76.9.F67 | |
| 072 | 7 |
_aUMZ _2bicssc |
|
| 072 | 7 |
_aCOM051230 _2bisacsh |
|
| 082 | 0 | 4 |
_a004.01/51 _223 |
| 049 | _aMAIN | ||
| 111 | 2 |
_aFMCO (Symposium) _n(11th : _d2012 : _cBertinoro, Italy) _947395 |
|
| 245 | 1 | 0 |
_aFormal Methods for Components and Objects : _b11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012 : revised lectures / _cElena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue (eds.). |
| 264 | 1 |
_aHeidelberg : _bSpringer, _c[2013] |
|
| 264 | 4 | _c©2013 | |
| 300 |
_a1 online resource (ix, 241 pages) : _billustrations |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aLecture notes in computer science, _x0302-9743 ; _v7866 |
|
| 490 | 1 | _aLNCS sublibrary. SL 2, Programming and software engineering | |
| 505 | 0 | 0 |
_tThe Abstract Behavioral Specification Language: A Tutorial Introduction / _rReiner Hähnle -- _tSubobject-Oriented Programming / _rMarko van Dooren, Dave Clarke and Bart Jacobs -- _tVerification of Open Concurrent Object Systems / _rIlham W. Kurnia and Arnd Poetzsch-Heffter -- _tAutomatic Inference of Bounds on Resource Consumption / _rElvira Albert and Diego Esteban Alonso-Blas -- _tSeparating Cost and Capacity for Load Balancing in ABS Deployment Models / _rEinar Broch Johnsen -- _tComposing Distributed Systems: Overcoming the Interoperability Challenge / _rValérie Issarny and Amel Bennaceur -- _tControlling Application Interactions on the Novel Smart Cards with Security-by-Contract / _rOlga Gadyatskaya and Fabio Massacci -- _tFormal Aspects of Free and Open Source Software Components / _rRoberto Di Cosmo and Ralf Treinen. |
| 504 | _aIncludes bibliographical references and index. | ||
| 520 | _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. | ||
| 650 | 0 |
_aFormal methods (Computer science) _vCongresses. _915679 |
|
| 650 | 0 |
_aSoftware engineering _vCongresses. _915264 |
|
| 650 | 2 |
_aSoftware _916724 |
|
| 650 | 6 |
_aMéthodes formelles (Informatique) _vCongrès. _918838 |
|
| 650 | 6 |
_aGénie logiciel _vCongrès. _918168 |
|
| 650 | 6 |
_aLogiciels. _926065 |
|
| 650 | 7 |
_asoftware. _2aat _916724 |
|
| 650 | 7 |
_aFormal methods (Computer science) _2fast _915635 |
|
| 650 | 7 |
_aSoftware engineering _2fast _914736 |
|
| 655 | 2 |
_aCongress _911670 |
|
| 655 | 7 |
_aproceedings (reports) _2aat |
|
| 655 | 7 |
_aConference papers and proceedings _2fast _96065 |
|
| 655 | 7 |
_aConference papers and proceedings. _2lcgft _96065 |
|
| 655 | 7 |
_aActes de congrès. _2rvmgf _9609890 |
|
| 700 | 1 |
_aGiachino, Elena, _d1981- _eeditor. _1https://id.oclc.org/worldcat/entity/E39PCjMvmTG3H8tKrXyyQBBwqP _950427 |
|
| 700 | 1 |
_aHähnle, Reiner, _eeditor. _925349 |
|
| 700 | 1 |
_aBoer, Frank S. de, _eeditor. _917789 |
|
| 700 | 1 |
_aBonsangue, Marcello M., _eeditor. _922045 |
|
| 758 |
_ihas work: _aFormal methods for components and objects (Text) _1https://id.oclc.org/worldcat/entity/E39PCFQv8X9VHw8Vvy4HCMDdYq _4https://id.oclc.org/worldcat/ontology/hasWork |
||
| 776 | 0 | 8 |
_iPrinted edition: _z9783642406140 |
| 830 | 0 |
_aLecture notes in computer science ; _v7866. |
|
| 830 | 0 |
_aLNCS sublibrary. _nSL 2, _pProgramming and software engineering. _920654 |
|
| 856 | 4 | 0 | _uhttps://link.springer.com/10.1007/978-3-642-40615-7 |
| 938 |
_aAskews and Holts Library Services _bASKH _nAH29112230 |
||
| 938 |
_aProQuest Ebook Central _bEBLB _nEBL3093462 |
||
| 938 |
_aYBP Library Services _bYANK _n11118812 |
||
| 994 |
_a92 _bATIST |
||
| 999 |
_c643122 _d643122 |
||