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 /

Uložené v:
Ďalší autori: Brinksma, Ed (Zostavovateľ, kompilátor), Hermanns, Holger (Zostavovateľ, kompilátor), Katoen, Joost-Pieter (Zostavovateľ, kompilátor)
Médium: Kniha
Jazyk:English
Vydavateľské údaje: Berlin : Springer Verlag, 2001
Predmet:
výkonnosť počítačov
počítačové systémy
formálne metódy
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Podobné jednotky