Nondeterminism in Algebraic Specifications and Algebraic Programs (Progress in Theoretical Computer Science)

Nondeterminism

by Hussmann

Hardcover

details (USA).

ISBN: 978-0-8176-3700-2

ISBN-10: 0-8176-3700-1

Birkhäuser · 1993