1895

Proving Programs Correct


General

Subtitle:
Author: Anderson, Robert Brockett
Editor:
Binding:
Purchase Date:
Purchase Price:
OpenLibrary Link: http://openlibr...books/OL4722024

Publishing

Publisher: Wiley
Edition:
Copyright Year:
Publication Year: 1979
ISBN#: 0-471-03395-2
LCCN#: 78009321
Pages: 184
Translator:
Language: English

Classification

Genre:
Keywords: Computer programs -- Testing.; Debugging in computer science.
Series:
Series Number:
Condition:

Comments

Bibliography: p. 170-182. Includes index.