Predicate Transformer Semantics
€66,47€69,00-3%
Currently out of stockLeave your email and we will let you know as soon as it is back, usually within 3-4 weeks.
14-day return guaranteeChanged your mind? You can cancel your order any time or return it within 14 days. Return policy
About the book
Discover the intricacies of Boolean categories with "Predicate Transformer Semantics," authored by an expert in the field and published by Cambridge University Press in 2004. This comprehensive paperback, spanning 236 pages, offers a rigorous foundation that is essential for graduate students and researchers delving into theoretical computer science. Whether you are looking to deepen your understanding or explore new concepts, this book provides valuable insights and a thorough examination of predicate transformer semantics. Enhance your academic library with this indispensable resource that bridges the gap between theory and practical application in computer science.
| Author | Amherst) Manes Ernest. G. (University of Massachusetts |
|---|---|
| Publisher | Cambridge University Press |
| Published | 2004 m. |
| Language | English |
| Pages | 236 psl. |
| Format | Paperback |
| ISBN | 9780521616102 |