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/creator International School on Formal Methods for the Design of Computer, Communication, and Software Systems
Other author Bernardo, Marco.
Other author Corradini, Flavio.
Format Book
Publication InfoBerlin ; New York : Springer, ©2004.
Descriptionvi, 293 pages : illustrations ; 24 cm.
Subjects
Real-time control--Congresses.
Real-time programming--Congresses.
Real-time data processing--Congresses.
Computer systems--Congresses.
Telecommunication systems--Congresses.
Computer software--Congresses.

SeriesLecture notes in computer science ; 3185
Lecture notes in computer science 3185. ^A466336
Bibliography noteIncludes bibliographical references and index.
LCCN 2004111362
ISBN3540230688 (pbk.)

Availability

Library Location Call Number Status Item Actions
Joyner General Stacks QA76.54 .I575 2004 ✔ Available Place Hold