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

ikona Nápověda Glossary of Terms
Status More Information Location Call Number
Holdings details from Knihovna UTB
Status Long term loan – Due: 20.12.2029 More Information Location FAI Call Number 004/FORMAL

Similar Items