L i b r a r y & I n f o r m a t i o n R e s o u r c e s
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
| Author |
Bernardo,Marco (ed.)
Inverardi,Paola (ed.) | Responsibility Data | Marco Bernardo, Paola Inverardi (eds.) | Publication Data | New York: Springer, 2003 | Physical Description | vi, 285 p. | Series Data |
Lecture notes in computer science; 2804
|
Meeting Data |
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 | Computer | Subject Headings | Real-time data processing -- Congresses Formal methods (Computer science) -- Congresses Computer systems -- Congresses Computer software -- Congresses | Call Number | 005.3 INT | More Information by Publisher |
|
Item Information
| Copy | Barcode | Reg # | Volume ID | Item Status | Due Date | Location | Media Type | 1 | 084903 | 85972 | AVAILABLE | English hall - 1st floor |
|---|---|---|---|---|---|---|---|
| 2 | 084904 | 85973 | AVAILABLE | English hall - 1st floor |
Item Status With (*). cannot be charged