Tell your friends about this item:
Algebraic Specification of Communication Protocols - Cambridge Tracts in Theoretical Computer Science S Mauw
Algebraic Specification of Communication Protocols - Cambridge Tracts in Theoretical Computer Science
S Mauw
In this book the authors use the formal specification language PSF to provide descriptions of several communication protocols.
212 pages, black & white illustrations
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | December 11, 2008 |
| ISBN13 | 9780521088121 |
| Publishers | Cambridge University Press |
| Pages | 212 |
| Dimensions | 244 × 171 × 21 mm · 368 g |
| Language | English |
| Editor | Mauw, S. (Technische Universiteit Eindhoven, The Netherlands) |
| Editor | Veltink, G. J. (Universiteit van Amsterdam) |