Programming
Mathematical Foundation of Programming Semantics: International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings: 239 | by Austin Melton | Springer-Verlag Berlin and Heidelberg GmbH & Co. K | English | 1986th Edition
₹5,576
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Genuine BookPhysical copy only
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Product Description
About the Author
Mathematical Foundation of Programming Semantics: International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings: 239 is authored by Austin Melton.
Book Highlights
✓Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K
✓Language: English
✓Publication date: 1 October 1986
✓Edition: 1986th
✓Category: Programming & Software Development > Introduction to Programming
✓Dimensions: 15.49 x 2.34 x 23.5 cm
✓Weight: 567 g
✓FREE shipping on all BookShops.in orders
✓15-day hassle-free return policy
✓Cash on Delivery (COD) available across India
✓100% genuine physical book — not an eBook or PDF
Book Specifications
| ISBN-13 | 9783540168164 |
| ISBN-10 | 3540168168 |
| Publisher | Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Language | English |
| Dimensions | 15.49 x 2.34 x 23.5 cm |
| Weight | 567 g |
| Country | India |
| Category | Programming & Software Development › Introduction to Programming |
| author | Austin Melton |
Frequently Asked Questions
What is this book about?
It is a collection of research papers from the 1985 International Conference on Mathematical Foundation of Programming Semantics, covering topics like denotational semantics, domain theory, and algebraic methods in programming.
Who edited this book?
The book was edited by Austin Melton, an academic specializing in theoretical computer science and programming semantics.
Is this book suitable for beginners in programming?
No, it is intended for researchers, graduate students, and academics with a strong background in mathematics and theoretical computer science.
What is the ISBN for this book?
The ISBN is 9783540168164.
What language is the book written in?
The book is written in English.
What specific topics are covered in the proceedings?
Topics include denotational semantics, fixed-point semantics, domain theory, algebraic approaches to program verification, and category theory applications in computing.
Can this book be used as a textbook for a course?
It may serve as supplementary reading for advanced graduate-level courses on programming semantics or formal methods, but it is primarily a proceedings volume.
Customers Also Bought
Programming
Introduction to the Design and Analysis of Algorithms | by Anany Levitin | Pearson | English | 3rd Edition
₹4,442
Programming
Fundamentals of Database Systems | by Ramez Elmasri | Shamkant Navathe | Pearson Education India | English | seventh Edition
₹4,019
Programming
Evolutionary Algorithms in Theory and Practice: Evolution Strategies, Evolutionary Programming, Genetic Algorithms | by Thomas Back | Thomas Bdck | Thomas B?ck | OUP USA | English | 1st Edition
₹4,291
Programming
The Scheme Programming Language | by R. Kent Dybvig | Mit Pr | English | 4th Edition
₹5,294
Programming
Providing Hyper-Localized Early Childhood Programming: A Framework from the Early Learning Neighborhood Collaborative | by Nkechy Ezeh | Routledge | English | 1st Edition
₹5,440
Programming
Practical Programming in Tcl and Tk | by Brent Welch | Ken Jones | Prentice Hall | English | Subsequent Edition
₹5,381
Related Products
View AllProgramming
Practical Programming in Tcl and Tk | by Brent Welch | Ken Jones | Prentice Hall | English | Subsequent Edition
₹5,381
Programming
Introduction to the Design and Analysis of Algorithms | by Anany Levitin | Pearson | English | 3rd Edition
₹4,442
Programming
Fundamentals of Database Systems | by Ramez Elmasri | Shamkant Navathe | Pearson Education India | English | seventh Edition
₹4,019
Programming
Evolutionary Algorithms in Theory and Practice: Evolution Strategies, Evolutionary Programming, Genetic Algorithms | by Thomas Back | Thomas Bdck | Thomas B?ck | OUP USA | English | 1st Edition
₹4,291
Programming
The Scheme Programming Language | by R. Kent Dybvig | Mit Pr | English | 4th Edition
₹5,294
Programming
Providing Hyper-Localized Early Childhood Programming: A Framework from the Early Learning Neighborhood Collaborative | by Nkechy Ezeh | Routledge | English | 1st Edition
₹5,440