Program verification with algorithmic logic / Anna Zalewska.
Opis
- Autor/twórca: Zalewska, Anna (matematyk)
- Tytuł: Program verification with algorithmic logic / Anna Zalewska.
- Miejsce i data wydania: Warsaw : 2001.
- Wydawca: "Philomath",
- Opis fizyczny: 105 s. ; 24 cm.
- Hasła przedmiotowe/Temat:
- Algorytmy
- Jakość produktu
- Metody badawcze
- Programy komputerowe
- Klasyfikacja UKD: 004.41:004.421:510.5/.6
- ISBN: 8391506924
- Seria: Studies in the Methodology of the Social Sciences
Indeksy
- Tytuł: Program verification with algorithmic logic /
- Autor (Twórca): Zalewska, Anna (matematyk)
- Sygnatura: 829
- Data: 2001.
- Wydawca: "Philomath",
- Miejsce wydania: Warsaw :
- Seria: Studies in the Methodology of the Social Sciences
- ISBN:
- Klasyfikacja UKD: 004.41:004.421:510.5/.6
- Temat:
Egzemplarze
Aby móc wypożyczać, musisz mieć założoną kartę czytelnika
- Sygnatura: 829
- Lokalizacja egzemplarza: Wypożyczalnia