Program verification with algorithmic logicAnna Zalewska
Program verification with algorithmic logic
14 bibliotek1 wydanie · 2001
O książce
- Autor
- Anna Zalewska
- Lata wydań
- 2001
- Liczba wydań
- 1
- Języki
- polski
- Rodzaj
- książka
Dostępna w 14 bibliotekach, m.in.: Biblioteka Jagiellońska (Kraków), Biblioteka Narodowa (Warszawa), Biblioteka Główna KUL (Lublin), Biblioteka Główna Uniwersytetu Gdańskiego (Gdańsk), Biblioteka Główna w Toruniu (Toruń), Biblioteka na Koszykowej (Warszawa), Biblioteka UMCS (Lublin), Biblioteka Uniwersytecka UWM (Olsztyn), Biblioteka Uniwersytecka w Warszawie (Warszawa), Biblioteka Wydz. Matematyki i Informatyki (Toruń)…