Variation Programming with the Choice Calculus.

Martin Erwig Eric Walkingshaw

Published in: GTTSE (2011)

Keyphrases

programming language
automated deduction
real time
computer programming
programming environment
decision trees
case study
object oriented programming
programming course
programming concepts
computer algebra
programming environments
high level language