Michael Huth

2 books

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

Logic in Computer Science: Modelling and Reasoning about Systems

Michael Huth, Mark Ryan

447 pages • first pub 1999 (editions)

nonfiction computer science mathematics informative slow-paced
Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches by Michael Huth, Oliver Rüthing, Bernhard Steffen

Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches

Michael Huth, Oliver Rüthing, Bernhard Steffen

228 pages • missing pub info (editions)

nonfiction computer science mathematics science
More...