| 000 | 01184nam a2200265Ia 4500 | ||
|---|---|---|---|
| 008 | 191130s2003##################000#0#eng## | ||
| 020 | _a9783540200833 | ||
| 022 | _a2003060987 | ||
| 040 |
_aACL _cACL |
||
| 082 | _a005.3 BER | ||
| 245 |
_aFormal methods for software architectures : third international school on formal methods for the design of computer, communication, and software systems--software architectures, SFM 2003, Bertinoro, Italy, September 2003 : advanced lectures _cedited by Marco Bernardo and Paola Inverardi |
||
| 260 |
_aBerlin _bSpringer _c2003 |
||
| 300 | _avi, 285 p. : ill. ; 24 cm | ||
| 500 | _aIncludes bibliographical references and index | ||
| 650 | _aComputer software - Congresses | ||
| 650 | _aComputer systems - Congresses | ||
| 650 | _aFormal methods (Computer science) - Congresses | ||
| 650 | _aReal-time data processing - Congresses | ||
| 700 | _aBernardo, Marco | ||
| 700 | _aInverardi, Paola | ||
| 710 | _aInternational School on Formal Methods for the Design of Computer, Communication and Software Systems (3rd : 2003 : Bertinoro, Italy) | ||
| 990 | _a06bb668bac10000c61e1eb0b2e34175b | ||
| 991 | _a17503 | ||
| 999 |
_c186965 _d186965 |
||