Formal techniques for networked and distributed systems - FORTE 2008 : 28th IFIP WG 6.1 International Conference : Tokyo, Japan, June 10-13, 2008 : proceedings /

Uloženo v:
Podrobná bibliografie
Korporativní autor: International Conference on Formal Techniques for Networked and Distributed Systems Tokio, Japonsko) (Autor)
Další autoři: Suzuki, Kenji, 1968- (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2008
Edice:Lecture notes in computer science ; 5048
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 K572.08 4200514280