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

LEADER 01593cam a22003497a 4500
001 22866
003 CZ ZlUTB
005 20190825234406.0
008 051227s2004 gw | eng d
020 |a 3540230688 
040 |a ZLD002  |b cze  |c ZLD002  |d ZLD002 
072 7 |a 004  |x Počítačová věda. Výpočetní technika. Informační technologie  |2 Konspekt  |9 23 
080 |a 004.031.43  |2 v 
080 |a 004.451.25.031.43  |2 v 
111 2 |a International School on Formal Methods for the Design of Computer, Communication, and Software Systems  |n (5. :  |d 2005 :  |c Bertinoro, Itálie) 
245 1 0 |a Formal methods for the design of real-time systems :  |b International school on formal methods for the design of computer, communication and software systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 /  |c Marco Bernardo, Flavio Corradini (eds.) 
260 |a Berlin :  |b Springer,  |c c2004 
300 |a vi, 293 s. :  |b il. 
490 1 |a Lecture notes in computer science ;  |v 3185 
504 |a Obsahuje bibliografii a rejstřík 
650 0 4 |a konstrukce 
650 0 4 |a reálný čas 
650 0 4 |a syntéza regulátorů 
650 0 7 |a řídicí systémy  |7 ph128305  |2 czenas 
655 7 |a sborníky  |7 fd163935  |2 czenas 
700 1 |a Bernado, Marco  |4 edt 
700 1 |a Corradini, Flavio,  |d 1966-  |7 xx0027026  |4 edt 
830 0 |a Lecture notes in computer science 
910 |a ZLD002 
992 |a BK  |d 1 
999 |c 22866  |d 22866 
952 |0 0  |1 0  |4 0  |6 004FORMAL  |7 0  |8 BOOK  |9 41497  |a UTBZL  |b UTBZL  |c 007  |d 2006-07-29  |l 1  |m 3  |o 004/FORMAL  |p 420010091346  |q 2025-12-22  |r 2019-08-25  |v 1670.00  |w 2019-08-25  |x N:nákup  |x 20100630  |y 08 

Similar Items