Formal Models and Semantics
This is an eBook that you can download electronically.
The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing.
SKU: 9780080933924
Format: PDF
KES 57,076
International delivery
Free click & collect
When you buy an ebook from TBC, you will be given a code to download your
purchase from our ebook partner Snapplify. After you have redeemed the code and
associated it with a Snapplify account, you'll need to download the Snapplify Reader
to read your ebooks. The free Snapplify Reader app works across iOS, Android,
Chrome OS, Windows and macOS; on tablets and mobile devices, as well as on
desktop PCs and Apple Macs.
You're currently browsing Text Book Centre's digital books site. To browse our range of physical books as well as a wide selection of stationery, art supplies, electronics and more, visit our main site at textbookcentre.com!
Reviews
This product does not have any reviews yet.
Add your review