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, c2004.

Items in the Library & Off-site

Filter by

1 Item

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	JSE 04-1504	Offsite

Details

Additional Authors

Description

vi, 293 p. : ill.; 24 cm.

Series Statement

Lecture notes in computer science, 0302-9743 ; 3185

Subjects

Bibliography (note)

Includes bibliographical references and index.

Call Number

JSE 04-1504

ISBN

3540230688 (pbk.)

LCCN

2004111362

OCLC

56492459

Conference

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (4th : 2004 : Bertinoro, Italy)

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.).

Imprint

Berlin ; New York : Springer, c2004.

Series

Lecture notes in computer science, 0302-9743 ; 3185

Bibliography

Includes bibliographical references and index.

Added Author

Bernardo, Marco.

Corradini, Flavio.

Research Call Number

JSE 04-1504

View in Legacy Catalog