1. Automated theorem proving in software engeneering
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 |