| 000 | 01274cam a22003015a 4500 | ||
|---|---|---|---|
| 001 | 17604480 | ||
| 005 | 20161227123351.0 | ||
| 008 | 130128t2013 gw a frb 101 0 eng d | ||
| 020 | _a9783642367809 | ||
| 040 |
_aHUA _cHUA _dOCLCO _dOHX _dOCLCF _dOCLCO _dDLC _dEG-ScBUE _beng |
||
| 082 | 0 | 4 |
_222 _a004.24 _bCOM |
| 111 | 2 |
_aEPEW (Workshop) _n(9th : _d(2012 : _cMunich, Germany) |
|
| 245 | 1 | 0 |
_aComputer performance engineering : _b9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012 : revised selected papers / _ceditors Mirco Tribastone, Stephen Gilmore. |
| 246 | 3 | 0 | _aEPEW 2012. |
| 246 | 3 | 0 | _aUKPEW 2012. |
| 260 |
_aBerlin ; _aNew York : _bSpringer, _cc.2013. |
||
| 300 |
_ax, 251 p. : _bill. ; _c24 cm. |
||
| 490 | 0 |
_aLecture notes in computer science, _x0302-9743 ; _v7587. |
|
| 504 | _aIncludes bibliographical references and author index. | ||
| 650 | 7 |
_aComputer systems _xEvaluation _vCongresses. _2BUEsh |
|
| 650 | 7 |
_aComputers _xReliability _vCongresses. _2BUEsh |
|
| 650 | 7 |
_aFormal methods (Computer science) _vCongresses. _2BUEsh |
|
| 651 | _2BUEsh | ||
| 653 |
_bCOMSCI _cDecember2016 |
||
| 700 | 1 |
_aTribastone, Mirco. _eeditor. |
|
| 700 | 1 |
_aGilmore, Stephen, _d1962- _eeditor. |
|
| 942 | _2ddc | ||
| 999 |
_c23769 _d23741 |
||