This is an excellent introduction to formal methods which will bring anyone who needs to know about this important topic up to speed. It is comprehensive, givin

This text aims to provide an introduction to graph algorithms and data structures and an understanding of the basic properties of a broad range of fundamental g

Learn how to design complex, correct programs and fix problems before writing a single line of code. This book is a practical, comprehensive resource on TLA+ pr

Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a fo

Through fundamental contributions from leading researchers, this volume describes the use of formal modeling methods in the areas of requirements, design and va