Mathematical Theory of Program Correctness

by J. W. De Bakker

ISBN0135621321 / 9780135621325 / 0-13-562132-1
PublisherPrentice-Hall International
LanguageEnglish
EditionHardcover
Buying Options

Found a mistake in this data?