Serie Texts & Monographs in Symbolic Computation – alle Bücher

Wolfgang Schreiner

Concrete Abstractions

This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer soft…