Published by Springer International Publishing AG, Cham, 2024
ISBN 10: 303171279X ISBN 13: 9783031712791
Language: English
Seller: Grand Eagle Retail, Mason, OH, U.S.A.
Paperback. Condition: new. Paperback. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Condition: New.
US$ 66.59
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
Condition: New. 2024th edition NO-PA16APR2015-KAP.
Published by Springer-Nature New York Inc, 2025
ISBN 10: 303171279X ISBN 13: 9783031712791
Language: English
Seller: Revaluation Books, Exeter, United Kingdom
US$ 88.57
Convert currencyQuantity: 2 available
Add to basketPaperback. Condition: Brand New. 128 pages. 9.25x6.10x9.21 inches. In Stock.
Published by Springer International Publishing AG, Cham, 2024
ISBN 10: 303171279X ISBN 13: 9783031712791
Language: English
Seller: CitiRetail, Stevenage, United Kingdom
US$ 75.79
Convert currencyQuantity: 1 available
Add to basketPaperback. Condition: new. Paperback. 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. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Published by Springer International Publishing AG, Cham, 2024
ISBN 10: 303171279X ISBN 13: 9783031712791
Language: English
Seller: AussieBookSeller, Truganina, VIC, Australia
US$ 94.37
Convert currencyQuantity: 1 available
Add to basketPaperback. Condition: new. Paperback. 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Published by Springer Nature Switzerland, Springer Nature Switzerland Dez 2024, 2024
ISBN 10: 303171279X ISBN 13: 9783031712791
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
US$ 64.17
Convert currencyQuantity: 2 available
Add to basketTaschenbuch. Condition: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 132 pp. Englisch.
Published by Springer Nature Switzerland, Springer International Publishing, 2024
ISBN 10: 303171279X ISBN 13: 9783031712791
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
US$ 64.17
Convert currencyQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Published by Springer, Berlin, Springer Nature Switzerland, Springer, 2024
ISBN 10: 303171279X ISBN 13: 9783031712791
Language: English
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
US$ 64.17
Convert currencyQuantity: 2 available
Add to basketTaschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 122 pp. Englisch.
Seller: Majestic Books, Hounslow, United Kingdom
US$ 85.90
Convert currencyQuantity: 4 available
Add to basketCondition: New. Print on Demand.
Seller: Biblios, Frankfurt am main, HESSE, Germany
US$ 94.44
Convert currencyQuantity: 4 available
Add to basketCondition: New. PRINT ON DEMAND.
Published by Springer Verlag GmbH, 2024
ISBN 10: 303171279X ISBN 13: 9783031712791
Language: English
Seller: moluna, Greven, Germany
US$ 56.67
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.