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

Saved in:
Bibliographic Details
Corporate Author: International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Itálie)
Other Authors: Bernado, Marco (Editor), Corradini, Flavio, 1966- (Editor)
Format: Book
Language: English
Published: Berlin : Springer, c2004
Series: Lecture notes in computer science
Subjects:
ISBN: 3540230688
Physical Description: vi, 293 s. : il.

Cover

Table of contents

Description
Bibliography: Obsahuje bibliografii a rejstřík
ISBN: 3540230688