Please use this identifier to cite or link to this item:
http://localhost:8080/xmlui/handle/123456789/736Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Moller, Faron | - |
| dc.contributor.author | Struth, Georg | - |
| dc.date.accessioned | 2026-10-16T08:07:10Z | - |
| dc.date.available | 2026-10-16T08:07:10Z | - |
| dc.date.issued | 2013 | - |
| dc.identifier.isbn | 978-1-84800-322-4 | - |
| dc.identifier.issn | 978-1-84800-321-7 | - |
| dc.identifier.uri | http://localhost:8080/xmlui/handle/123456789/736 | - |
| dc.description | 493 pages : illustrations, includes an index. | en_US |
| dc.description.abstract | This book explores the mathematical principles and techniques used in modelling and analysing computing systems. It introduces mathematical methods for representing computational processes, system behaviour, and the relationships between different components of computer systems. The text explains how mathematical concepts, including logic, algebra, relations, and discrete structures, can be applied to computer science problems. It supports the understanding, design, verification, and analysis of computing systems and is useful for students, researchers, and professionals in computer science, software engineering, and related fields. Subject Keywords | en_US |
| dc.language.iso | en | en_US |
| dc.publisher | Springer | en_US |
| dc.subject | Computer science — Mathematics | en_US |
| dc.subject | Computer systems — Mathematical models | en_US |
| dc.subject | Mathematical modelling | en_US |
| dc.subject | Discrete mathematics | en_US |
| dc.title | Modelling Computing Systems: | en_US |
| dc.title.alternative | Mathematics for Computer Science/ | en_US |
| dc.type | Book | en_US |
| Appears in Collections: | ICT | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Modelling Computing Systems.pdf | 4.83 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.