Tools and algorithms for the construction and analysis of systems : Proceedings, Warsaw, Poland, April 7 - 11, 2003 /

Saved in:
Bibliographic Details
Main Author: Lee, Peter
Corporate Author: Proceedings Poland, Warsaw
Other Authors: Garavel, H. (Editor), Hatcliff, J.
Format: Conference Proceeding Book
Language:English
Published: Berlin : Springer, 2003
Edition:[1st ed.]
Series:Lecture notes in computer science Vol. 2619
Subjects:
ohraničený model > časová logika > overovanie > abstrakcia
ISBN:3540008985
ISSN:0302-9743
Online Access: Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000nam a2200000 4500
003 SK-BrCVT
005 20220617211039.0
008 030702s2003 gw e ||||||eng d
020 |a 3540008985 
022 |a 0302-9743 
035 |a CVTIDW0968862 
040 |b slo  |a CVTI SR 
041 0 |a eng 
044 |a gw 
080 |a 51:004  |2 UDC-MRF 
100 1 |a Lee, Peter 
111 0 |a Proceedings  |d (April 7 - 11, 2003 :  |c Poland, Warsaw) 
242 1 0 |a Nástroje a algoritmy pre konštrukciu a analýzu systémov. ETAPS 2003. Zborník 
245 1 0 |a Tools and algorithms for the construction and analysis of systems :  |b Proceedings, Warsaw, Poland, April 7 - 11, 2003 /  |c Authors: Peter Lee and Co. ; Red.: H. Garavel, J. Hatcliff 
250 |a [1st ed.] 
260 |a Berlin :  |b Springer,  |c 2003 
300 |a XVI, 604 s. :  |b grafy, lit., obr., tab. ; 
490 0 |a Lecture notes in computer science  |v Vol. 2619 
653 1 |a ohraničený model  |a časová logika  |a overovanie  |a abstrakcia 
700 1 |a Garavel, H.  |4 edt 
700 1 |a Hatcliff, J. 
760 1 |t Lecture notes in computer science 
910 |b A587605 
919 |a 3-540-00898-5 
974 |f Knihy 
992 |a AZN 
999 |c 126076  |d 126076 

Similar Items