Gebrauchte Bücher von Wolfgang Schreiner bei rebuy
… Wolfgang Schreiner is an associate professor at the Research Institute for Symbolic Computation (RISC) of the Johannes Kepler University Linz, Austria. He is working in formal methods of computer science (with previous research in parallel computing and functional programming), and has produced various software packages related to formal semantics, specification, and verification, in particular the RISC ProofNavigator, the RISC ProgramExplorer, and the RISC Algorithm Language (RISCAL). Formerly he directed a degree programme on Computer-based Learning at the Upper Austria University of Applied Sciences in Hagenberg.
Der Streichpreis bezieht sich auf die unverbindliche Preisempfehlung des Herstellers, den aktuellen durchschnittlichen Neupreis des Produktes bei idealo Deutschland, oder bei Büchern auf den festgelegten Preis für Neuware.