The correctness problem in computer science

The correctness problem in computer science

Dades bibliogràfiques
Altres autors: Boyer, Robert S., Moore, J Strother, 1947-
Format: Llibre
Idioma:English
Publicat: London Academic Press 1981.
Matèries:
Computer programs > Correctness.