Výsledky vyhledávání
- Automated theorem proving in software engeneering / Johann M. Schumann ; foreword by Donald Loveland. Berlin ; Heidelberg : Springer, 2001 . xv, 228 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 kniha