Number of the records: 1  

Automated theorem proving in software engeneering

  1.   Borrow
    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
    PRF000100
    View book information on page www.obalkyknih.cz

    book

      Borrow

Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all