Process algebra and probabilistic methods : performance modelling and verification : Joint International Workshop, PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25.-26., 2002 : proceedings /

Uloženo v:
Podrobná bibliografie
Korporativní autor: PAPM-PROBMIV 2002 Kodaň, Dánsko) (Autor)
Další autoři: Hermanns, Holger, 1967- (Editor), Segala, Roberto (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2002
Edice:Lecture notes in computer science ; 2399
Témata:
Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.
Popis Stav Knihovna Sbírka Signatura Poznámky Čárový kód
Dostupné
Měsíční
Fakulta informatiky sklad K390.02 4200507885