Models and simulations are an important first step in developing computer applications to solve real-world problems. However, in order to be truly effective, co

"This book investigates a variety of programming languages used in validating and verifying models in order to assist in their eventual implementation, explorin

An up-to-date, authoritative text for courses in theory of computability and languages. The authors redefine the building blocks of automata theory by offering

This book constitutes the revised versions of the invited and selected papers from the Second Epistemological Perspectives on Simulation Workshop, EPOS 2006, wh