Formal Description Techniques and Protocol Specification, Testing and Verification: Forte X / Pstv Xvii '97 (Ifip Advances In Information And Communication Technology)

213.99 EUR

Ein praxisnahes Werk über formale Beschreibungen, das Protokollspezifikationen präzise definiert und anschließend Test‑ sowie Verifikationsverfahren für komplexe Kommunikationssysteme erläutert.

Marke: Atsushi Togashi
ISBN: 1475752601
MPN: biography