Book: Comparative Metric Semantics Of Programming Languages, Nondeterminism And Recursion This is a book in theoretical computer science that explores the semantics of programming languages with topological methods. Aimed at research workers and advanced graduate students in computer science, the book presents an important contribution to the theory of programming languages ami the semantics that underlie their construction.
Details of Book: Comparative Metric Semantics Of Programming Languages, Nondeterminism And Recursion Book: Comparative Metric Semantics Of Programming Languages, Nondeterminism And Recursion
Author: Frank Van Breugel, F. Van Breugel, Franck Van Breugel
ISBN: 0817639276
ISBN-13: 9780817639273
, 978-0817639273
Binding: Hardcover
Publishing Date: 18121997
Publisher: Birkhauser
Number of Pages: 244
Language: English