Proving properties of Pascal programs in MIZAR 2Piotr Rudnicki
Proving properties of Pascal programs in MIZAR 2
3 biblioteki2 wydania · 1983
O książce
- Autor
- Piotr Rudnicki
- Lata wydań
- 1983
- Liczba wydań
- 2
- Języki
- angielski
- Rodzaj
- książka
Dostępna w 3 bibliotekach: Biblioteka Jagiellońska (Kraków), Biblioteka Narodowa (Warszawa), Biblioteka Główna w Toruniu (Toruń)