This book presents a novel view of formal methods, spanning the range of specification techniques. It provides a short overview of formal methods and detailed chapters on the two most popular languages, VDM and Z.