Formal Description Techniques and Protocol Specification Testing and Verification
213.99 EUR195.74 EUR9% 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.