Skip to content
pandatutor® Log in
Cover of An introduction to formal specification and Z

An introduction to formal specification and Z

by Ben Potter

1991 304 pages eng

Formal languages Logiciels Développement Computer software Development
Read on Archive.org Open Library Toronto Public Library Libby Amazon

Borrow to read

This scan is available through Internet Archive's free lending library — sign in or create a free account below, then borrow to read.

Reader not loading? Open it on Archive.org instead.

More like this

Introduction to automata theory, languages, and computation

Rajeev Motwani, Jeffrey D. Ullman, John E. Hopcroft

1979

Languages and machines

Thomas A. Sudkamp

1996

Introduction to the Theory of Computation

Michael Sipser

2005 ★ 4.4

An introduction to formal languages and automata

Peter Linz

1990

Mathematical foundations of programming

Frank S. Beckman

1980

Elements of the theory of computation

Harry R. Lewis

1981