Comparative Metric Semantics of Programming Languages
Subtitle: Nondeterminism and Recursion
Publisher: Birkhäuser; Brand: Birkhäuser
Published: Sep 26, 2011
Format: paperback
Number of pages: 244
ISBN-13: 9781461286806
Notes: Source title: Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion (Progress in Theoretical Computer Science)