| |
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 22-27, 2003: advanced lectures
|
Material Type |
Book/ Reference
|
Author(s) |
Bernardo, Marco (ed.)
Inverardi, Paola (ed.)
|
Respons Author |
Marco Bernardo, Paola Inverardi (eds.)
|
Publication Data |
New York: Springer, 2003
|
Physical Description |
vi, 285 p.
|
Series Data |
Lecture notes in computer science; 2804
|
Conference Info. |
International School on Formal Methods for the Design of Computer, Communication and Software Systems (3rd: 2003: Bertinoro, Italy)
|
ISBN |
3-540-20083-5
|
Subject Area/ Descriptors |
Computer
(12522)
|
|
|
Call Number |
005.3
INT
browse shelves
Foregn
or
Arabic
|
|
|
|
| |
|
Search Through eResources |
● |
|
● |
Related topics |
|
|
|