Research Catalog
Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures
- Title
- Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures / Marco Bernardo, Flavio Corradini (eds.).
- Author
- International School on Formal Methods for the Design of Computer, Communication, and Software Systems (4th : 2004 : Bertinoro, Italy)
- Publication
- Berlin ; New York : Springer, [2004], ©2004.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
Not available - Please for assistance. | Text | Request in advance | QA76.54 .I575 2004g | Off-site |
Holdings
Details
- Additional Authors
- Description
- vi, 293 pages : illustrations; 24 cm.
- Series Statement
- Lecture notes in computer science, 0302-9743 ; 3185
- Uniform Title
- Lecture notes in computer science ; 3185.
- Subjects
- Bibliography (note)
- Includes bibliographical references and index.
- ISBN
- 3540230688 (pbk.)
- LCCN
- 2004111362
- OCLC
- ocm56492459
- SCSB-5068504
- Owning Institutions
- Columbia University Libraries