Jonathan Jacky

A self-contained tutorial on Z for working programmers discussing practical ways to apply formal methods in real projects, first published in 1997.

Practical Programming with Formal Methods

The Way of Z

Douglas Schuler

This volume results from the first research conference organized by Computer Professional for Social Responsibility (CSPR). Each chapter is authored by a computer scientist addressing the social impact of computers. Four chapters describe the milieu in which computer science is managed and financed. Three chapters present software engineering analyses of cost reliability and safety and relate them to defence policy. Five chapters explore the implications of applying artificial intelligence technology in particular areas, from education to combat, and the final chapters confront present and future dilemmas from philosophical and ethical perspectives.

Jonathan Jacky

Books

Your next favorite book is out there