Formal Methods for Protocol Engineering and Distributed Systems

Formal Methods for Protocol Engineering and Distributed Systems

Forte XII / PSTV XIX'99

3/5
Ilkinji çap edildi
2013
Neşirýatçylar
Springer
Dil
English

Kitaplar

Şuňa meňzeş kitaplar