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 Electronic
Publication InfoBerlin ; New York : Springer,
Descriptionvi, 293 p. : ill. ; 24 cm.
Supplemental ContentFull text available from Springer Books
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subjects
Real-time data processing--Congresses.
Formal methods (Computer science)--Congresses.
Computer systems--Congresses.
Computer software--Congresses.

Portion of title SRM-RT 2004
SeriesLecture notes in computer science ; 3185 Tutorial.
Lecture notes in computer science ; 3185. ^A466336
Lecture notes in computer science ; Tutorial. UNAUTHORIZED
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2004111362
ISBN3540230688 (softcover : alk. paper)

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available