Order History
Premium Membership & Rewards
Help Center / FAQ
Mathematical Foundations of Programming Semantics: 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989. Proceedings
Paperback
$109.00
Earn 5X Rewards 1/1 - 12/31Loading availability...
Pick up in store
Your local store may have stock of this item.
Your local store may have stock of this item.
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 co…
More in This Series
VLSI Engineering: Beyond Software Engineering
#163 in Series
Paperback
$49.99
7th International Conference on Automated Deduction: Proceedings
#170 in Series
Paperback
$149.00
VLSI Algorithms and Architectures: 3rd Aegean Workshop on Computing, AWOC 88. Corfu, Greece, June 28 - July 1, 1988. Proceedings
#319 in Series
Paperback
$149.00
Modern Cryptology: A Tutorial
#325 in Series
Paperback
$59.99
Software Engineering Education: SEI Conference 1988 Fairfax, Virginia, USA, April 28-29, 1988. Proceedings
#327 in Series
Paperback
$109.00
Error Detection and Recovery in Robotics
#336 in Series
Paperback
$109.00
The Cray X-MP/Model 24: A Case Study in Pipelined Architecture and Vector Processing
#374 in Series
Paperback
$87.20
$109.00
Software Engineering Education: SEI Conference 1989, Pittsburgh, Pennsylvania, USA, July 18-21, 1989. Proceedings
#376 in Series
Paperback
$119.00
Advances in Cryptology - CRYPTO '88: Proceedings
#403 in Series
Paperback
$103.20
$129.00
Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings
#408 in Series
Paperback
$119.00
Software Engineering Education: SEI Conference 1990, Pittsburgh, Pennsylvania, USA, April 2-3, 1990. Proceedings
#423 in Series
Paperback
$109.00
Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1-4, 1988 Proceedings
#425 in Series
Paperback
$109.00
Advances in Cryptology - CRYPTO '89: Proceedings
#435 in Series
Paperback
$119.00
Fault-Tolerant Distributed Computing
#448 in Series
Paperback
$80.22
$119.00
Computing in the 90's: The First Great Lakes Computer Science Conference, Kalamazoo Michigan, USA, October 18-20, 1989. Proceedings
#507 in Series
Paperback
$179.00
Ada 2012 Reference Manual. Language and Standard Libraries: International Standard ISO/IEC 8652/2012 (E)
#8339 in Series
Paperback
$148.00
Smart Graphics: 13th International Symposium, SG 2015, Chengdu, China, August 26-28, 2015, Revised Selected Papers
#9317 in Series
Paperback
$72.00
Computational Linguistics and Intelligent Text Processing: 17th International Conference, CICLing 2016, Konya, Turkey, April 3-9, 2016, Revised Selected Papers, Part I
#9623 in Series
Paperback
$99.00