Error-free software know-how and know-why of program correctness

Bibliographic Details
Main Author: Baber, Robert Laurence (-)
Format: Book
Language:Inglés
Published: Chichester [etc.] : John Wiley & Sons cop. 1991
Series:Wiley series in software engineering practice
Subjects:
See on Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991005122449706719
Description
Physical Description:VII, 156 p. ; 24 cm
Bibliography:Bibliografia. Índex
ISBN:9780471930167