Formal 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 /
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
New York :
Springer,
2003.
|
| Subjects: |
| Physical Description: | volúmenes, 285 páginas : ilustraciones ; 24 cm. |
|---|---|
| ISBN: | 3540200835 |