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:
konstrukce
reálný čas
syntéza regulátorů
řídicí systémy
sborníky
ISBN: 3540230688
Physical Description: vi, 293 s. : il.

Cover

Table of contents

ikona NpovdaGlossary of Terms
Status Description Location Call Number
Status
Long term loan – Due : 22.12.2025  Recall This 		Description

Location
 FAI Call Number 004/FORMAL

Status Description Location Call Number
Long term loan - Due : 22.12.2025  Recall This FAI 004/FORMAL

Similar Items