Formal Description Techniques and Protocol Specification Testing and Verification
236.00 EUR195.74 EUR17% Off
Dieses Buch bietet einen tiefgreifenden Einblick in die Anwendung formaler Beschreibungen zur Protokollspezifikation, kombiniert mit praxisorientierten Test- und Verifikationsansätzen für moderne Kommunikationssysteme.