|
Publication type: Book
|
| Title: |
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(s): |
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 Terms: |
Real-time data processing -- Congresses
Formal methods (Computer science) -- Congresses
Computer systems -- Congresses
Computer software -- Congresses
|
| Call Number: |
005.3
INT
|
| Accession Number |
79608
|
| Copie(s)\ Voluem(s) Information |
| Copy | Barcode | Reg. # | Item status | Location |
|
1
|
084903
|
85972
|
Available
|
Foreign collections hall - 1st floor
|
2
|
084904
|
85973
|
Available
|
Foreign collections hall - 1st floor
| | | |
| |