| 000 | 01150 a2200277 4500 | ||
|---|---|---|---|
| 003 | Nust | ||
| 005 | 20170207154016.0 | ||
| 010 | _a 2004111362 | ||
| 020 | _a3540230688 (softcover : alk. paper) | ||
| 040 | _cNust | ||
| 082 | 0 | 0 | _a004.33 |
| 245 | 1 | 0 |
_aFormal methods for the design of real-time systems : _bInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures / _cMarco Bernardo, Flavio Corradini (eds.). |
| 246 | 3 | 0 | _aSRM-RT 2004 |
| 260 |
_aBerlin ; _aNew York : _bSpringer, _cc2004. |
||
| 300 |
_avi, 293 p. : _bill. ; _c24 cm. |
||
| 490 | 1 |
_aLecture notes in computer science ; _v3185 _aTutorial. |
|
| 650 | 0 | _aComputer software | |
| 650 | 0 | _aComputer systems | |
| 650 | 0 | _aFormal methods (Computer science) EBOOK | |
| 650 | 0 | _aReal-time data processing | |
| 700 | 1 | _aBernardo, Marco. | |
| 700 | 1 | _aCorradini, Flavio. | |
| 830 | 0 | _aLecture notes in computer science ; | |
| 830 | 0 | _aLecture notes in computer science ; | |
| 856 | 4 | 2 |
_3Publisher description _uhttp://www.loc.gov/catdir/enhancements/fy0814/2004111362-d.html |
| 942 |
_2ddc _cBK |
||
| 999 |
_c191445 _d191445 |
||