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: |
Sistema de Bibliotecas de la Universidad Nacional de Costa Rica
| Call Number: |
005.3 |
|---|---|
| Copy | Available |
SIDUNA
| Copy | Available |
|---|