4 电子书 Wolfgang Schreiner
Bruno Buchberger & Michael Affenzeller: Hagenberg Research
Bruno Buchberger This book is a synopsis of basic and applied research done at the various re search institutions of the Softwarepark Hagenberg in Austria. Starting with 15 coworkers in my Research I …
PDF
英语
€149.79
Wolfgang Schreiner: Thinking Programs
This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly think about the artifacts they deal with in thei …
EPUB
英语
DRM
€76.88
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 …
EPUB
英语
DRM
€82.94