Assertions in Programming: From Scientific Theory to Engineering Practice

Bibliografiska uppgifter
Huvudupphovsman: Hoare, C
Materialtyp: Record
Publicerad: 2002