Formal methods for distributed system development : FORTE/PSTV 2000 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy /

Uloženo v:
Podrobná bibliografie
Korporativní autor: IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification Pisa, Itálie) (Autor)
Další autoři: Bolognesi, Tommaso (Editor), Latella, Diego (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Boston : Kluwer Academic Publishers, c2000
Témata:
výpočetní technika
computer science
sborníky konferencí
proceedings of conferences
Obálka Obsah Přejít na ObalkyKnih.cz
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 K572.00 4200506354

Podobné jednotky