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 /

Salvato in:
Dettagli Bibliografici
Altri autori: Brinksma, Ed (Compilatore), Hermanns, Holger (Compilatore), Katoen, Joost-Pieter (Compilatore)
Natura: Libro
Lingua:inglese
Pubblicazione: Berlin : Springer Verlag, 2001
Soggetti:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!

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