Mathematical Theory of Program Correctness (Prentice-Hall International Series in Computer Science)

by J. W. de Bakker

Hardcover

details (USA).

ISBN: 978-0-13-562132-5

ISBN-10: 0-13-562132-1

Prentice-Hall International · 1980