Formal Languages for Computer Simulation: Transdisciplinary Models and Applications - Image 1

£163.99

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

Name: Formal Languages for Computer Simulation: Transdisciplinary Models and Applications
Brand: Information Science Reference
Price: 163.99 GBP
Availability: InStock

Architecture & Microprocessors

This is the most expensive it has ever been. Walk away.

£164 today · previous high £164 · all-time low £163

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 37 days · 37 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 37 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £163 (36 days, 97.3%)

Price range: £163 - £164

Price levels: 2 different prices over 37 days

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. Formal Languages for Computer Simulation: Transdisciplinary Models and Applications 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 Pau Fonseca i Casas, 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

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

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Formal Methods for Industrial Critical Systems: A Survey of Applications

FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings: 8442 (Lecture Notes in Computer Science, 8442)

FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings: 5850 (Lecture Notes in Computer Science, 5850)

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings: 11460 (Lecture Notes in Computer Science, 11460)

Springer - Formal Methods and Models for System Design Book

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

Formal Language: A Practical Introduction

Understanding Modelling and Programming

Software Verification Based on Game Semantics and Process Algebra: A Game Semantic Framework for Verifying Safety Properties of Open Programs

From Astrophysics to Unconventional Computation: Essays Presented to Susan Stepney on the Occasion of her 60th Birthday: 35 (Emergence, Complexity and Computation, 35)

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Springer - Specification and Verification of Multi-agent Systems

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday: 4060 (Lecture Notes in Computer Science, 4060)

Formal Methods Applied to Complex Systems: Implementation of the B Method (Computer Engineering (Wiley))

FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, ... (Lecture Notes in Computer Science, 1709)

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

Tool Support for System Specification, Development and Verification (Advances in Computing Sciences)

Theory of Modeling and Simulation: Discrete Event & Iterative System Computational Foundations

Logic and Language Models for Computer Science: Third Edition

Understanding Programming Languages

Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 ― December 1, 2017, Proceedings: 10623 (Lecture Notes in Computer Science, 10623)

TAPSOFT '93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings: 668 (Lecture Notes in Computer Science, 668)

Theories of Programming Languages