Bernhard Steffen, Oliver R¨uthing, and Michael Huth: Mathematical Foundations of Advanced Informatics—Volume 1: Inductive Approaches: Springer, 2 April 2018, 258 pp, 156x16x234mm, ISBN-13: 978-3319683966 (Hardback, £28.99),ISBN: 978-3030098339 (Paperback, £27.99)
Michaelson, Greg
Formal Aspects of Computing, 2019, Vol.31 (5), p.641-642 [Periódico revisado por pares]London: Springer London
Texto completo disponível