Program construction and verification
BACKHOUSE, Roland C
Program construction and verification - NEW YORK PRENTICE-HALL 1986 - xii,281 - Prentice-Hall international series in computer science .
0137291469
PROGRAMMING LANGUAGES
PROGRAMMING LANGUAGES
005.13 / BAC-M6
Program construction and verification - NEW YORK PRENTICE-HALL 1986 - xii,281 - Prentice-Hall international series in computer science .
0137291469
PROGRAMMING LANGUAGES
PROGRAMMING LANGUAGES
005.13 / BAC-M6