Lectures on formal methods and performance analysis : First EEF/euro summer school on trends in computer science. Berg en Dal, The Netherlands. 3.- 7. July 2000 /

Saved in:
Bibliographic Details
Other Authors: Brinksma, Ed (Compiler), Hermanns, Holger (Compiler), Katoen, Joost-Pieter (Compiler)
Format: Book
Language:English
Published: Berlin : Springer Verlag, 2001
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000nam a22000003a 4500
001 stu78053
005 20200908120958.4
008 021121s2001----gw------------------eng-d
020 |a 3-540-42479-2 
040 |a STU  |b slo 
041 0 |a eng 
044 |a gw 
080 |a 681.32.004.17 
080 |a 681.32.06 
084 |a C5470  |2 INS 
084 |a C6110F  |2 INS 
100 1 |a Brinksma, Ed  |4 com 
245 1 |a Lectures on formal methods and performance analysis :  |b First EEF/euro summer school on trends in computer science. Berg en Dal, The Netherlands. 3.- 7. July 2000 /  |c Zost.: Briksma, Ed a kol. 
260 |a Berlin :  |b Springer Verlag,  |c 2001 
300 |a 429 s 
650 7 |a výkonnosť počítačov  |2 stusub 
650 7 |a počítačové systémy  |2 stusub 
650 7 |a formálne metódy  |2 stusub 
700 1 |a Hermanns, Holger  |4 com 
700 1 |a Katoen, Joost-Pieter  |4 com 
996 |c I*Z5430  |l I  |s A  |a 24  |w stu78053_0001