Predicate Transformer Semantics
€66,47€69,00-3%
Tilapäisesti loppuunmyytyJätä sähköpostiosoitteesi, niin ilmoitamme sinulle heti, kun kirjaa on taas saatavilla, yleensä 3-4 viikon kuluessa.
14 päivän palautustakuuMuutitko mielesi? Voit peruuttaa tilauksesi milloin tahansa tai palauttaa sen 14 päivän kuluessa. Palautusehdot
Tietoa kirjasta
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.
| Kirjoittaja | Amherst) Manes Ernest. G. (University of Massachusetts |
|---|---|
| Kustantaja | Cambridge University Press |
| Julkaistu | 2004 m. |
| Kieli | Englanti |
| Sivumäärä | 236 psl. |
| Sidosasu | Pehmeäkantinen |
| ISBN | 9780521616102 |