MPG.eBooks - Search Results - ("determinacy" OR "indeterminacy")

Search alternatives:
"determinacy" » "determinant", "determinar", "determinants"
"indeterminacy" » "indeterminant", "indeterminar", "indeterminants", "indeterminate"

Cover Image

1

Abstract State Machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Published 2016

Springer International Publishing

Table of Contents: “... -- Proving Determinacy of PharOS in TLA+ -- A Rigorous Correctness Proof for Pastry -- Enabling Analysis...”