Program verification with algorithmic logic / Anna Zalewska.
Description
- Autor: Zalewska, Anna (matematyk)
- Title: Program verification with algorithmic logic / Anna Zalewska.
- Place and date of publication: Warsaw : 2001.
- Publisher: "Philomath",
- Physical description: 105 s. ; 24 cm.
- Subject entries:
- Algorytmy
- Jakość produktu
- Metody badawcze
- Programy komputerowe
- UKD classification: 004.41:004.421:510.5/.6
- ISBN: 8391506924
- Series: Studies in the Methodology of the Social Sciences
Indexes
- Title: Program verification with algorithmic logic /
- Author: Zalewska, Anna (matematyk)
- Signature: 829
- Date: 2001.
- Publisher: "Philomath",
- Place of publication: Warsaw :
- Series: Studies in the Methodology of the Social Sciences
- ISBN:
- UKD classification: 004.41:004.421:510.5/.6
- Subject:
Copies
To be able to borrow a book, you must have a reader card
- Signature: 829
- Copy location: Wypożyczalnia