Modelling computer systems : mathematics of computer science / Faron Moller, Georg Struth. [electronic resource]
Material type:
Computer filePublication details: New York : Springer, 2013Description: 1 online resource : illustrationsISBN: - 9781848003224 (E-book)
- QA 76.9.M35 M64M 2013
| Item type | Current library | Collection | Shelving location | Call number | Status | Barcode | Course reserves | |
|---|---|---|---|---|---|---|---|---|
E-Book
|
SPU Library, Bangkok (Main Campus) | Electronic Resources | On Display | QA 76.9.M35 M64M 2013 (Browse shelf(Opens below)) | Available | 9781848003224 |
Includes index
Mathematics for Computer Science -- Propositional Logic -- Boolean Algebras and Circuits -- Proof Strategies -- Relations -- Proofs by Induction -- Modelling Computing Systems -- Modelling Processes -- Logical Properties of Processes -- Temporal Properties
There are no comments on this title.
Click on an image to view it in the image viewer