Michael Huth

3 books

Logic in Computer Science: Modelling and Reasoning about Systems by Mark Ryan, Michael Huth

Logic in Computer Science: Modelling and Reasoning about Systems

Mark Ryan, Michael Huth

447 pages • first pub 1999 (editions)

nonfiction computer science mathematics informative slow-paced
Logic in Computer Science: Modelling and Reasoning About Systems by Mark Ryan, Michael Huth, Michael Huth

Logic in Computer Science: Modelling and Reasoning About Systems

Mark Ryan, Michael Huth, Michael Huth

missing page info • first pub 1999 (editions)

challenging informative reflective medium-paced
Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches by Oliver Rüthing, Bernhard Steffen, Michael Huth

Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches

Oliver Rüthing, Bernhard Steffen, Michael Huth

228 pages • missing pub info (editions)

nonfiction computer science mathematics science