Media type: Book Title: Logic in computer science : modelling and reasoning about systems Contributor: Huth, Michael [Author]; Ryan, Mark [Author] imprint: Cambridge [u.a.]: Cambridge Univ. Press, 2002 Issue: Repr. (with corr.) Extent: XVIII, 387 S.; graph. Darst Language: English ISBN: 0521652006; 0521656028 RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, Keywords: Programmverifikation > Logik Hardwareverifikation > Logik Origination: Footnote:
Central Library – textbook collection (tbc) Shelf-mark: SK 130 H979 Item ID: 30923978 Status: Loanable
Central Library – textbook collection (tbc) Shelf-mark: SK 130 H979 Item ID: 30923979 Status: Loanable
Departmental Library DrePunct – open access area Shelf-mark: SK 130 H979 Item ID: 30923980 Status: To be used in the library, interlibrary loan possible