| Author | Tamas Gergely , T. Gergely , Laszlo Ury |
| Format | Hardcover |
| ISBN | 9783540542773 |
| Publication Date | 17/05/2009 |
| Publisher | Springer |
| Manufacturer | Springer-verlag Berlin And Heidelberg Gmbh & Co. K |
Proposes a logical approach to the theory of programming. This book provides formal methods and tools for reasoning about computer programs and programming languages by allowing the syntactic and semantic characterization of programs, the description of program properties, and ways to check whether a given program satisfies certain properties.
Loading similar products...
Stay informed about the best deals and price drops. Choose which notifications you'd like to receive from PriceCheck.
Free easy-to-follow course for anyone in South Africa who wants to learn how to start a digital business.