Predicate Transformer Semantics
299,00 zł310,00 zł-3%
Obecnie niedostępnyPodaj swój adres e-mail, a powiadomimy Cię, gdy książka znów będzie dostępna, zwykle w ciągu 3-4 tygodni.
14 dni na zwrotZmieniłeś zdanie? Możesz anulować zamówienie w dowolnym momencie lub zwrócić je w ciągu 14 dni. Zasady zwrotów
O książce
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.
| Autor | Amherst) Manes Ernest. G. (University of Massachusetts |
|---|---|
| Wydawnictwo | Cambridge University Press |
| Rok wydania | 2004 m. |
| Język | Angielski |
| Liczba stron | 236 psl. |
| Format | Oprawa miękka |
| ISBN | 9780521616102 |