Tallenna
Formal Methods for Protocol Engineering and Distributed Systems
Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols.
- Alaotsikko
- Forte XII / PSTV XIX’99
- Toimittaja
- Jianping Wu, Samuel T. Chanson
- Painos
- Softcover reprint of the original 1st ed. 1999
- ISBN
- 9781475752700
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 18.4.2013
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 500
