Principles of the SPIN model checker

Mordechai Ben-Ari
Bok · Engelsk · 2008 M. Ben-Ari

Utgitt	London : Springer , c2008
Omfang	XV, 216 s. : fig.
Emner	Distribuerte systemer Kommunikasjonssystemer Nettverksprotokoller Protokollverifikasjon Vis mer... Samtidighet Tjenestekvalitet programvare kvalitetskontroll
ISBN	1846287693. - 9781846287695