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

von Heinrich Hussmann

Gebunden

Details (Deutschland)

ISBN: 978-3-7643-3700-1

ISBN-10: 3-7643-3700-1

Birkhäuser Verlag · 1993