Formal Languages for Computer Simulation Transdisciplinary Models and Applications

Formal Languages for Computer Simulation: Transdisciplinary Models and Applications by Pau Fonseca i Casas, published by Information Science Reference in 2013, is a comprehensive resource that delves into the essential role of formal modeling languages in the development of computer applications. Spanning 442 pages, this book addresses the significance of models and simulations as foundational steps in solving real-world problems, emphasizing the necessity for programmers to utilize formal languages for effective evaluation and verification of their simulations.

Readers will find an exploration of various programming languages that aid in the validation and verification of models, facilitating a deeper understanding of the transition from simulation to practical application. The text is particularly beneficial for computer and industrial engineers, mathematicians, and students engaged in computer simulations, as it discusses different methods for evaluating and formalizing simulation models. This edition serves as a valuable guide for those looking to enhance the effectiveness of their modeling systems within the fields of computer engineering and programming.