Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs
pdf
- Author: David Luckham
- Language: English
- Year: 1990
- Author: W.H.J.Feijen A.J.M. van Gasteren D.Gries J.Misra (eds.)
- Language: English
- Year: 1990
- Author: Helmut A. Partsch
- Language: English
- Year: 1990
- Author: Thomas W. Reps Tim Teitelbaum
- Language: English
- Year: 1989
- Author: Suad Alagić
- Language: English
- Year: 1989
- Author: Thomas W. Reps Tim Teitelbaum
- Language: English
- Year: 1989
- Author: Robert N. Moll Michael A. Arbib A. J. Kfoury
- Language: English
- Year: 1988
- Author: Micha Hofri
- Language: English
- Year: 1987
Fairness
pdf
- Author: Nissim Francez (auth.)
- Language: English
- Year: 1986
- Author: Ernest G. Manes Michael A. Arbib
- Language: English
- Year: 1986