Assertions in Programming: From Scientific Theory to Engineering Practice

Opis bibliograficzny
1. autor: Hoare, C
Format: Record
Wydane: 2002