Author

Michael Huth

Catalogue records by Michael Huth in the PakCat Union Catalogue.

2 catalogue records

Catalogue records

LOGIC IN COMPUTER SCIENCE MICHAEL HUTH 2004 Logic in Computer Science Modeling & Reasoning About Systems Michael Huth Year not listed