eBook Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion (Progress in Theoretical Computer Science) download
by Franck van Breughel
Author: Franck van Breughel
Publisher: Birkhäuser; 1998 edition (December 18, 1997)
ePub: 1667 kb
Fb2: 1396 kb
Other formats: azw txt docx rtf
Nondeterminism and Recursion.
Show all. Table of contents (9 chapters). Bibliographic Information. Nondeterminism and Recursion. Progress in Theoretical Computer Science.
by Franck van Breughel. ISBN 13: 9780817639273.
Progress in Theoretical Computer Science.
Published by Birkauser, 1998. Condition: Fine Hardcover. Bookseller Inventory 2044. Ask Seller a Question. Bibliographic Details.
Progress in Theoretica. 998.
by Frank Van Breugel. This book compares two of them: the operational and the denotational approach.
This button opens a dialog that displays additional images for this product with the option to zoom in or out. Tell us if something is incorrect.
nondeterminism and recursion.
Libraries near you: WorldCat.
This book compares two of them: the operational and the denotational approach
This book compares two of them: the operational and the denotational approach. We focus on different degrees of nondeterminism in programming lan guages.
Franck van Breugel received his doctoral degree in Computer Science from the Free University Amsterdam in 1994. He joined the department in 1998. Selected Publications. Towards Quantitative Verification of Probabilistic Systems (preliminary report), Report, York University, 2000.