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 |
Browsing SPU Library, Bangkok (Main Campus) shelves Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| QA 76.9.M35 H33D 2006 Discrete mathematics for computer science / | QA 76.9.M35 M34D 2004 Discrete mathematical structures : theory and application / | QA 76.9.M35 M34D 2004 Discrete mathematical structures : theory and application / | QA 76.9.M35 M64M 2013 Modelling computer systems : [electronic resource] mathematics of computer science / | QA 76.9.M35 O23A 2018 Analysis for computer scientists : [electronic resource] foundations, methods, and algorithms / | QA 76.9.M35 O73G 2016 Guide to discrete mathematics : [electronic resource] an accessible introduction to the history, theory, logic and applications / | QA 76.9 M36I 2003 Incident Response & Computer Forensics / |
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