Toggle navigation
About
Libraries
Help
Z39.50 Checker
Signup
Login
Add Library
Home
/
Libraries
/
Huth, Michael
Author
Huth, Michael
Catalogue records by Huth, Michael in the PakCat Union Catalogue.
3 catalogue records
Catalogue records
Logic in computer science: modelling and reasoning about systems
Huth, Michael
2004
Logic in Computer Science: modelling and reasoning about systems
Huth Michael
2004
Secure communicating systems: design, analysis, and implementation
Huth, Michael
2001