| 000 | 05201cam a2200937Mi 4500 | ||
|---|---|---|---|
| 001 | ocn880841250 | ||
| 003 | OCoLC | ||
| 005 | 20250703163306.0 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 140602s2014 sz a o 101 0 eng d | ||
| 040 |
_aNLGGC _beng _erda _epn _cNLGGC _dOCLCO _dYDXCP _dOCLCO _dGW5XE _dCOO _dOCLCF _dOCLCO _dUPM _dRIV _dOCL _dOCLCO _dEBLCP _dOCLCQ _dDIBIB _dOCLCO _dVT2 _dESU _dOCLCQ _dIOG _dNJR _dMERUC _dBUF _dKIJ _dOCLCQ _dCEF _dDEHBZ _dOCLCQ _dU3W _dAU@ _dOCLCQ _dWYU _dREB _dYOU _dOCLCQ _dDCT _dERF _dWURST _dOCLCQ _dUKAHL _dAJS _dOCLCO _dCOM _dOCLCO _dOCLCQ _dOCLCO _dOCLCL |
||
| 019 |
_a885337983 _a964881986 _a1005784219 _a1026446439 _a1027510970 _a1048159001 _a1066619957 _a1081213797 _a1086568784 _a1110846466 _a1112539125 _a1112832635 |
||
| 020 |
_a9783319073170 _q(electronic bk.) |
||
| 020 |
_a3319073176 _q(electronic bk.) |
||
| 020 |
_z9783319073163 _q(print) |
||
| 020 |
_z3319073168 _q(print) |
||
| 024 | 7 |
_a10.1007/978-3-319-07317-0 _2doi |
|
| 029 | 0 |
_aNLGGC _b375865144 |
|
| 029 | 1 |
_aAU@ _b000057657153 |
|
| 029 | 1 |
_aNZ1 _b15537585 |
|
| 029 | 1 |
_aNZ1 _b15624313 |
|
| 035 |
_a(OCoLC)880841250 _z(OCoLC)885337983 _z(OCoLC)964881986 _z(OCoLC)1005784219 _z(OCoLC)1026446439 _z(OCoLC)1027510970 _z(OCoLC)1048159001 _z(OCoLC)1066619957 _z(OCoLC)1081213797 _z(OCoLC)1086568784 _z(OCoLC)1110846466 _z(OCoLC)1112539125 _z(OCoLC)1112832635 |
||
| 037 | _bSpringer | ||
| 050 | 4 |
_aQA76.76.D47 _bI14 2014 |
|
| 072 | 7 |
_aCOM051230 _2bisacsh |
|
| 072 | 7 |
_aUMZ _2bicssc |
|
| 082 | 0 | 4 |
_a005.1 _223 |
| 049 | _aMAIN | ||
| 111 | 2 |
_aInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems _n(14th : _d2014 : _cBertinoro, Italy) _951518 |
|
| 245 | 1 | 0 |
_aFormal methods for executable software models : _b14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014 : advanced lectures / _cMarco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen (Eds.). |
| 246 | 3 | _aSFM 2014 | |
| 264 | 1 |
_aCham : _bSpringer, _c[2014] |
|
| 264 | 4 | _c©2014 | |
| 300 |
_a1 online resource : _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 ; _v8483 |
|
| 490 | 1 | _aLNCS sublibrary. SL 2, Programming and software engineering | |
| 500 | _aIncludes author index. | ||
| 588 | 0 | _aOnline resource; title from PDF title page (SpringerLink, viewed June 16, 2014). | |
| 520 | _aThis book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014. SFM 2014 was devoted to executable software models and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the broad range of topics of the school. | ||
| 650 | 0 |
_aComputer software _xDevelopment _vCongresses. _914853 |
|
| 650 | 0 |
_aFormal methods (Computer science) _vCongresses. _915679 |
|
| 650 | 6 |
_aMéthodes formelles (Informatique) _vCongrès. _918838 |
|
| 650 | 7 |
_aComputer software _xDevelopment _2fast _92949 |
|
| 650 | 7 |
_aFormal methods (Computer science) _2fast _915635 |
|
| 653 | 0 | 0 | _acomputerwetenschappen |
| 653 | 0 | 0 | _acomputer sciences |
| 653 | 0 | 0 | _acomputertechnieken |
| 653 | 0 | 0 | _acomputer techniques |
| 653 | 0 | 0 | _acomputational science |
| 653 | 0 | 0 | _aprogrammeertalen |
| 653 | 0 | 0 | _aprogramming languages |
| 653 | 0 | 0 | _asoftware engineering |
| 653 | 1 | 0 | _aInformation and Communication Technology (General) |
| 653 | 1 | 0 | _aInformatie- en communicatietechnologie (algemeen) |
| 655 | 2 |
_aCongress _911670 |
|
| 655 | 4 |
_aLlibres electrònics. _934765 |
|
| 655 | 4 |
_aCongressos. _934931 |
|
| 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 |
_aBernardo, Marco, _eeditor. _918630 |
|
| 700 | 1 |
_aDamiani, Ferruccio, _eeditor. _933917 |
|
| 700 | 1 |
_aHähnle, Reiner, _eeditor. _925349 |
|
| 700 | 1 |
_aJohnsen, Einar Broch, _eeditor. _922046 |
|
| 700 | 1 |
_aSchaefer, Ina, _eeditor. _951519 |
|
| 758 |
_ihas work: _aFormal methods for executable software models (Text) _1https://id.oclc.org/worldcat/entity/E39PCG674fTJWjHcktdxpgjvjK _4https://id.oclc.org/worldcat/ontology/hasWork |
||
| 776 | 0 | 8 |
_iPrinted edition: _z9783319073163 |
| 830 | 0 |
_aLecture notes in computer science ; _v8483. _x1611-3349 |
|
| 830 | 0 |
_aLNCS sublibrary. _nSL 2, _pProgramming and software engineering. _920654 |
|
| 856 | 4 | 0 | _uhttps://link.springer.com/10.1007/978-3-319-07317-0 |
| 938 |
_aAskews and Holts Library Services _bASKH _nAH29629583 |
||
| 938 |
_aEBL - Ebook Library _bEBLB _nEBL3092971 |
||
| 938 |
_aYBP Library Services _bYANK _n11835651 |
||
| 994 |
_a92 _bATIST |
||
| 999 |
_c643403 _d643403 |
||