Search results

Records found: 1  
Your query: Author Sysno/Doc.kind = "^upol_us_auth 0301975 amg^"
  1. Deductive program design / edited by Manfred Broy.    Berlin :  Springer,  1996 . VIII, 467 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100
    Deductive program design

    book



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