Bookshelf
| can't find it |

| browse books |
books
 

| book details |

Understanding Modelling and Programming

By (author) Andreas Prinz, By (author) Birger Møller-Pedersen, By (author) Joachim Fischer, By (author) Bernhard Thalheim

| on special |

normal price: R 2,320.95

Price: R 2,204.95


| book description |

This book provides a concise overview of modelling and programming by presenting their essential concepts. It enables the reader to better understand the relationships between modelling and programming by describing abstract properties, desired behaviours, intended structures, needed interactions, and other specific viewpoints on the overall system under development. After an introduction to the importance of modelling and programming in the scope of system engineering in chapter 1, the book provides four main chapters covering systems, models, specifications, and programs, each of them with a set of reflection exercises. Chapter 2 explores how systems relate to reality, exploring different perspectives related to the purpose of the system. Chapter 3 explains what it takes to be a model and how models and systems are related and concludes with discussing model semantics, meaning, and correctness. In Chapter 4, specifications are debated which are precise descriptions of models and systems. It presents the language constructs needed to describe systems and shows how the constructs can be expressed in concrete languages, considering both the structure and the behaviour of models. Chapter 5 considers the creation, simulation, and correct execution of specifications (model descriptions or programs). Eventually, Chapter 6 presents a collection of real-world modelling cases. Apart from describing the case, the concepts of the book are applied to the case, thus giving a better understanding of the concepts. The book is carefully designed to explain modelling and programming concepts, their relationships, and their use. Written for computer science students and lecturers, it covers systems, modelling, programming, simulation, and semantics.

| product details |



Normally shipped | Forthcoming. We are not accepting backorders for this item yet
Publisher | Springer International Publishing AG
Published date | 2 Jan 2025
Language |
Format | Paperback / softback
Pages | 122
Dimensions | 235 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-0317-1279-1
Readership Age |
BISAC | computers / programming / software development


| other options |


| your trolley |

To view the items in your trolley please sign in.

| sign in |

| specials |

Fifteen Dogs

André Alexis
Paperback / softback
176 pages
was: R 280.95
now: R 252.95
Available from overseas. Dispatched in aprox 4-8 weeks as local supplier is out of stock

A pack of dogs are granted the power of human thought - but what will it do to them? A surprising and insightful look at the beauty and perils of consciousness.

Bonsai Success in Southern Africa

Carl Morrow
Paperback / softback
160 pages
was: R 320.95
now: R 288.95
Stock is usually dispatched in 6-12 days from date of order

In this uniquely Southern African book, Carl Morrow and Keith Kirsten guide readers step by step into the magical realms of bonsai as a hobby, horticultural practice and art form.

The Ballerina and the Bull: Anarchist Utopias in the Age of Finance

Johanna Isaacson
Paperback / softback
288 pages
was: R 306.95
now: R 275.95
This title will take longer to obtain, and should be delivered in 6-8 weeks

Our moment has seen the resurgence of an anarchist sensibility, from the uprisings in Seattle in 1999 to the Occupy movement of 2011.