Nondeterminism in Algebraic Specifications and Algebraic Programs
Publisher: Springer
Published: Mar 22, 2012
Format: paperback
Number of pages: 268
ISBN-13: 9781468468366
Notes: Source title: Nondeterminism in Algebraic Specifications and Algebraic Programs (Progress in Theoretical Computer Science)