Produkt mají v nabídce:
Algebraic Specification of Communication Protocols
In this book the authors use the formal specification language PSF to provide descriptions of several communication protocols.
In this book the authors use the formal specification language PSF to provide descriptions of several communication protocols.