Offers a comprehensive overview of research into algorithmic self-assembly, RNA folding, the algorithmic foundations for biochemical reactions, and the algorithmic nature of developmental processes. This book addresses subjects such as sequence discovery, generation, and analysis; nanoconstructions and self-assembly; and membrane computing.

David Harel explains and illustrates one of the most fundamental, yet under-exposed facets of computers - their inherent limitations. He looks at the bad news that is proven, lasting, and robust, discussing limitations that no amounts of hardware, software, talents, or resources can overcome.

Draws from lectures of the 25th International Summer School on Engineering Theories of Software Intensive Systems, held in Germany in 2004. Examining software engineering techniques and foundations used for industrial tasks, this book presents mathematical foundations of software engineering and engineering methods in their theoretical substance.

An introduction to Dynamic Logic , an approach to formal reasoning about programmes. The book is divided into three parts and includes examples and exercises to review the fundamental concepts of logic and computability theory as well as dynamic logic and its variants.

Presents a play-in/play-out method and tool, which is an approach to software and systems engineering and modeling based on formal methods and program semantics.

'Algorithmics' presents the most important, concepts, methods and results that are fundamental to the science of computing. It starts by introducing the basic ideas of algorithms, including their structures and methods of data manipulation. It demonstrates how to design accurate and efficient algorithms, and discusses their inherent limitations.