Assertions in Programming: From Scientific Theory to Engineering Practice

Xehetasun bibliografikoak
Egile nagusia: Hoare, C
Formatua: Record
Argitaratua: 2002