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
LanguageEnglish
Published Berlin : Springer, c2004
SeriesLecture notes in computer science
Subjects
konstrukce
reálný čas
syntéza regulátorů
řídicí systémy
sborníky
ISBN3540230688
Physical Descriptionvi, 293 s. : il.

Cover

More Information
Bibliography:Obsahuje bibliografii a rejstřík
ISBN:3540230688
Physical Description:vi, 293 s. : il.

Similar Items