Catalog

Record Details

Catalog Search



Modelling Computing Systems [electronic resource] : Mathematics for Computer Science / by Faron Moller, Georg Struth.

Moller, Faron. (author.). Struth, Georg. (author.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9781848003224
  • Physical Description: XVI, 500 p. 46 illus. online resource.
  • Publisher: London : Springer London : 2013.
Subject: Computer science.
Logic design.
Computational complexity.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Discrete Mathematics in Computer Science.
Math Applications in Computer Science.

Additional Resources