"Formal Description Techniques and Protocol Specification, Testing and Verification": FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International ... and Communication Technology, 6, Band 6)

Ein praxisorientiertes Werk über die formale Modellierung von Kommunikationsprotokollen, das theoretische Grundlagen mit konkreten Test- und Verifika ...

Allgemein

Marke
Stan Budkowski
ISBN
Stan Budkowski 1475752628
MPN
Stan Budkowski 23 black & white illustrations, biograph

Eigenschaften

Menü