Principles and applications of algorithmic problem solving

Algorithmic problem solving provides a radically new way of approaching and solving problems in general by using the advances that have been made in the basic principles of correct-by-construction algorithm design. The aim of this thesis is to provide educational material that shows how these advanc...

Full description

Bibliographic Details
Main Author: Ferreira, Joao Fernando Peixoto
Format: Thesis (University of Nottingham only)
Language:English
Published: 2011
Subjects:
Online Access:https://eprints.nottingham.ac.uk/11707/