| 000 | 01465cam a2200325 i 4500 | ||
|---|---|---|---|
| 001 | u81880 | ||
| 003 | SIRSI | ||
| 005 | 20240619145903.0 | ||
| 008 | 110131 eng | ||
| 020 |
_a9783540709510 _qpbk. |
||
| 020 |
_a3540709517 _qpbk. |
||
| 050 |
_aQA76.9.F67 _b.F67 2007 |
||
| 245 | 0 | 0 |
_aFormal methods : _bapplications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers / _cedited by Lubos Brim ... [et al. |
| 264 | 1 |
_aNew York : _bSpringer, _c2007. |
|
| 300 |
_ax, 361 pages : _billustrations ; _c24 cm. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_aunmediated _bn _2rdamedia |
||
| 338 |
_avolume _bnc _2rdacarrier |
||
| 490 | 1 |
_aLecture notes in computer science ; _v4346 |
|
| 596 | _a1 3 | ||
| 650 | 0 |
_aFormal methods (Computer science) _vCongresses. _938711 |
|
| 650 | 0 |
_aSoftware engineering _vCongresses. _9444 |
|
| 650 | 0 |
_aComputer programs _xVerification _vCongresses. _9192604 |
|
| 650 | 0 |
_aComputer programs _xReliability _vCongresses. _973610 |
|
| 700 | 1 |
_aBrim, Lubos. _9192623 |
|
| 711 | 2 |
_aInternational Workshop on Formal Methods for Industrial Critical Systems _n(11th : _d2006 : _cBonn, Germany ) _9192624 |
|
| 907 |
_a.b10379472 _b07-11-22 _c12-09-18 |
||
| 998 |
_am _b06-11-22 _cm _da _e- _feng _g _h0 |
||
| 999 |
_c29315 _d29315 |
||