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
  1. 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.).
Published by
  1. Berlin ; New York : Springer, [2004], ©2004.
Author
  1. International School on Formal Methods for the Design of Computer, Communication, and Software Systems (4th : 2004 : Bertinoro, Italy)

Items in the library and off-site

Filter by

Displaying 1 item

StatusFormatAccessCall numberItem location
Status
Request for on-site useRequest scan
How do I pick up this item and when will it be ready?
FormatTextAccessRequest in advanceCall numberQA76.54 .I575 2004gItem locationOff-site

Details

Additional authors
  1. Bernardo, Marco.
  2. Corradini, Flavio.
Description
  1. vi, 293 pages : illustrations; 24 cm.
Series statement
  1. Lecture notes in computer science, 0302-9743 ; 3185
Uniform title
  1. Lecture notes in computer science ; 3185.
Subject
  1. Real-time control > Congresses
  2. Real-time programming > Congresses
  3. Real-time data processing > Congresses
  4. Computer systems > Congresses
  5. Telecommunication systems > Congresses
  6. Computer software > Congresses
Bibliography (note)
  1. Includes bibliographical references and index.