The correctness problem in computer science

The correctness problem in computer science

Détails bibliographiques
Autres auteurs: Boyer, Robert S., Moore, J Strother, 1947-
Format: Livre
Langue:English
Publié: London Academic Press 1981.
Sujets:
Computer programs > Correctness.