Predicate Transformer Semantics
€66,47€69,00-3%
Временно нет на складеОставьте адрес электронной почты, и мы сообщим, как только книга появится, обычно в течение 3-4 недель.
14‑дневная гарантия возвратаПередумали? Вы можете отменить заказ в любое время или оформить возврат в течение 14 дней. Политика возврата
О книге
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.
| Автор | Amherst) Manes Ernest. G. (University of Massachusetts |
|---|---|
| Издательство | Cambridge University Press |
| Издано | 2004 m. |
| Язык | английский |
| Страницы | 236 psl. |
| Формат | Мягкая обложка |
| ISBN | 9780521616102 |