Assertions in Programming: From Scientific Theory to Engineering Practice

Bibliografske podrobnosti
Glavni avtor: Hoare, C
Format: Record
Izdano: 2002