Formal Description Techniques and Protocol Specification Testing and Verification
236.00 EUR195.74 EUR17% Off
Ein Leitfaden für die formale Beschreibung von Kommunikationsprotokollen, der theoretische Konzepte mit konkreten Test- und Verifikationsmethoden verknüpft und sich an Ingenieure sowie akademische Forscher richtet.