
Formal Methods for Protocol Engineering and Distributed Systems
- Undertittel
- Forte XII / PSTV XIX’99
- Redaktør
- Jianping Wu, Samuel T. Chanson
- Opplag
- Softcover reprint of the original 1st ed. 1999
- ISBN
- 9781475752700
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 18.4.2013
- Antall sider
- 500
