Princeton Series in Computer Science

Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach Robert P. Kurshan

Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal...

Recent Advances in Global Optimization Christodoulos A. Floudas and Panos M. Pardalos

This book will present the papers delivered at the first U.S. conference devoted exclusively to global optimization and will thus provide valuable insights into the significant research on the topic that has been emerging during recent...

The Implementation of Prolog Patrice Boizumault
Translated by Jamal Fattouh and Ara M. Djamboulian

A semantically well-defined programming language widely used in artificial intelligence, Prolog has greatly influenced other programming languages since its introduction in the late 1970s. A user may find Prolog deceptively easy...