£140.54

Information Science Reference Formal Languages for Computer Simulation: Transdisciplinary Models and Applications

Price data checked 5 days ago

View at Amazon

Price History & Forecast

Last 86 days • 86 data points (No recent data available)

Historical
Generating forecast...
£140.54 £133.51 £136.32 £139.13 £141.95 £144.76 £147.57 25 January 2026 15 February 2026 08 March 2026 29 March 2026 20 April 2026

Price Distribution

Price distribution over 86 days • 1 price levels

Days at Price
86 days 0 22 43 65 86 £141 Days at Price

Price Analysis

Most common price: £141 (86 days, 100.0%)

Price range: £141 - £141

Price levels: 1 different prices over 86 days

Description
Product Description Models and simulations are an important first step in developing computer applications to solve real-world problems. However, in order to be truly effective, computer programmers must use formal modeling languages to evaluate these simulations. <br><br><em>Formal Languages for Computer Simulation: Transdisciplinary Models and Applications</em> investigates a variety of programming languages used in validating and verifying models in order to assist in their eventual implementation. This book will explore different methods of evaluating and formalising simulation models, enabling computer and industrial engineers, mathematicians, and students working with computer simulations to thoroughly understand the progression from simulation to product, improving the overall effectiveness of modeling systems. About the Author <strong>Pau Fonseca i Casas</strong>, Polytechnic University of Catalonia, Spain.

Product Specifications
Brand
Information Science Reference
Format
hardcover
ASIN
1466643692
Category
Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain
Amazon UK
Release Date
31 July 2013
Listed Since
14 March 2013

Barcode

No barcode data available

Similar Products You Might Like

Theory and Application of Multi-Formalism Modeling (Advances in Systems Analysis, Software Engineering, and High Performance Computing)
92% match

Theory and Application of Multi-Formalism Modeling (Advances in Systems Analysis, Software Engineering, and High Performance Computing)

Information Science Reference

£164.04 10 Feb 2026
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
91% match

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

Springer

£32.70 09 Apr 2026
Formal Methods in Computer Science (Textbooks in Mathematics)
91% match

Formal Methods in Computer Science (Textbooks in Mathematics)

CRC Press

£73.49 26 Feb 2026
Logic and Language Models for Computer Science: Third Edition
91% match

Logic and Language Models for Computer Science: Third Edition

Scientific Publishing

£56.56 13 Apr 2026
Formal Languages and Computation: Models and Their Applications
91% match

Formal Languages and Computation: Models and Their Applications

CRC Press

£54.78 21 Feb 2026
Formal Language: A Practical Introduction
91% match

Formal Language: A Practical Introduction

Franklin Beedle & Associates

£55.00 16 Feb 2026
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
91% match

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Springer

£85.99 08 Mar 2026
Formal Methods in Computer Science (Textbooks in Mathematics)
91% match

Formal Methods in Computer Science (Textbooks in Mathematics)

CRC Press

£128.39 09 Mar 2026
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
91% match

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Springer

£86.32 09 Mar 2026
Testing and Validation of Computer Simulation Models: Principles, Methods and Applications (Simulation Foundations, Methods and Applications)
91% match

Testing and Validation of Computer Simulation Models: Principles, Methods and Applications (Simulation Foundations, Methods and Applications)

Springer

£50.59 21 Feb 2026
Formal Methods for Industrial Critical Systems: A Survey of Applications
91% match

Formal Methods for Industrial Critical Systems: A Survey of Applications

John Wiley & Sons Inc

£73.19 28 Feb 2026
Introduction to Modeling and Simulation of Technical and Physical Systems with Modelica
91% match

Introduction to Modeling and Simulation of Technical and Physical Systems with Modelica

Wiley

£39.87 17 Dec 2025
Springer - Formal Methods and Models for System Design Book
91% match

Springer - Formal Methods and Models for System Design Book

Springer

£104.85 18 Apr 2026
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
91% match

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Springer

£48.61 21 Feb 2026
Modeling and Simulation of Everyday Things
91% match

Modeling and Simulation of Everyday Things

CRC Press

£106.00 18 Apr 2026
Research Challenges in Modeling and Simulation for Engineering Complex Systems (Simulation Foundations, Methods and Applications)
91% match

Research Challenges in Modeling and Simulation for Engineering Complex Systems (Simulation Foundations, Methods and Applications)

Springer

£66.43 22 Feb 2026
Logic And Language Models For Computer Science (Third Edition)
91% match

Logic And Language Models For Computer Science (Third Edition)

Scientific Publishing

£39.44 17 Mar 2026
An Introduction to Formal Language Theory (Monographs in Computer Science)
91% match

An Introduction to Formal Language Theory (Monographs in Computer Science)

Springer

£40.36 07 Mar 2026
Computational Modeling and Simulation of Intellect: Current State and Future Perspectives
91% match

Computational Modeling and Simulation of Intellect: Current State and Future Perspectives

Information Science Reference

£61.42 10 Mar 2026
Formal Languages and Compilation (Texts in Computer Science)
91% match

Formal Languages and Compilation (Texts in Computer Science)

Springer

£45.61 20 Feb 2026
Guide to Simulation-Based Disciplines: Advancing Our Computational Future (Simulation Foundations, Methods and Applications)
91% match

Guide to Simulation-Based Disciplines: Advancing Our Computational Future (Simulation Foundations, Methods and Applications)

Springer

£73.85 08 Mar 2026
Computer-Assisted Simulation of Dynamic Systems with Block Diagram Languages
91% match

Computer-Assisted Simulation of Dynamic Systems with Block Diagram Languages

CRC Press

£230.00 22 Jan 2026
Simulation Modeling Handbook: A Practical Approach (INDUSTRIAL AND MANUFACTURING ENGINEERING SERIES)
91% match

Simulation Modeling Handbook: A Practical Approach (INDUSTRIAL AND MANUFACTURING ENGINEERING SERIES)

CRC Press

£192.44 13 Jan 2026
Research Challenges in Modeling and Simulation for Engineering Complex Systems (Simulation Foundations, Methods and Applications)
91% match

Research Challenges in Modeling and Simulation for Engineering Complex Systems (Simulation Foundations, Methods and Applications)

Springer

£70.63 24 Feb 2026