|
|
Showing 1 - 1 of
1 matches in All Departments
|
Mathematical Foundations of Programming Semantics - 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989. Proceedings (Paperback, 1990 ed.)
Michael G. Main, Austin C. Melton, Michael W. Mislove, David A. Schmidt
|
R1,472
Discovery Miles 14 720
|
Ships in 18 - 22 working days
|
This is the latest in a series of proceedings of conferences on the
Mathematical Foundations of Programming Semantics. The purpose of
the series is to bring together mathematicians and theoretical
computer scientists who share the common interests of working on
problems related to programming language semantics. The purpose of
the book is to bring into print as quickly as possible papers which
reflect the state of research on the topics comprising this area.
The intended audience for the book consists of those researchers
and graduate students with an interest in the research areas which
are related to those presented in the book: programming language
semantics, including algebraic, denotational and operational
semantics, logics of programs, specification techniques, etc., and
the relevant areas of mathematics research, including category
theory, domain theory, ordered structures and lattice theory, and
metric space methods. The papers included in the book represent the
latest results in various facets of this rather broad research
area, and this is the first time some of the ideas contained in
these works are appearing in print.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R367
R340
Discovery Miles 3 400
Loot
Nadine Gordimer
Paperback
(2)
R367
R340
Discovery Miles 3 400
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.