Predicate Transformer Semantics
€66,47€69,00-3%
Šiuo metu neturime sandėlyjePalikite savo el. pašto adresą ir pranešime, kai tik ji vėl bus prieinama, paprastai per 3-4 savaites.
14 dienų grąžinimo garantijaPersigalvojote? Užsakymą galite atšaukti bet kada arba grąžinti per 14 dienų. Grąžinimo politika
Apie knygą
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.
| Autorius | Amherst) Manes Ernest. G. (University of Massachusetts |
|---|---|
| Leidėjas | Cambridge University Press |
| Išleista | 2004 m. |
| Kalba | Anglų |
| Puslapiai | 236 psl. |
| Formatas | Minkštas viršelis |
| ISBN | 9780521616102 |