Program verification with algorithmic logic - Zalewska, Anna (matematyk) (Warsaw : "Philomath", 2001)
Bibliogr. Indeks.
Keywords: Algorytmy; Jakość produktu; Metody badawcze; Programy komputerowe