Provides an integrated coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a focused su

This book constitutes the refereed proceedings of the 13th International SPIN workshop on Model Checking Software, SPIN 2006, held in Vienna, Austria in March/A

The papers of this volume focus on the foundational aspects of computer science, the thematic origin and stronghold of LNCS, under the title “Computing and So

Issues in Logic, Probability, Combinatorics, and Chaos Theory: 2013 Edition is a ScholarlyEditions™ book that delivers timely, authoritative, and comprehensiv