J. M. Spivey

Understanding Z: A Specification Language and its Formal Semantics

1988 · ENGLISH · DJVU

View details →

The Z Notation: A Reference Manual (Prentice-Hall International Series in Computer Science)

1992 · ENGLISH · PDF

View details →

An Introduction to Logic Programming Through Prolog

2002 · ENGLISH · PDF

View details →

The Z Notation: A Reference Manual (Prentice-Hall International Series in Computer Science)

1992 · ENGLISH · PDF

View details →

An introduction to logic programming through Prolog

1996 · ENGLISH · PDF

View details →

An Introduction to Logic Programming through Prolog

1996 · ENGLISH · GZ

View details →