Biblioteksøk

Vis søkeskjema

Søkte etter:

6 treff

Generic programming : advanced lectures

Roland Backhouse, Jeremy Gibbons (eds.)
Bok Engelsk 2003

Program construction : calculating implementations from specifications

Backhouse, Roland C.
Bok Engelsk 2003

Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop, Oxford, UK, April 10-14, 2000 : revised lectures

Roland Backhouse, Roy Crole, Jeremy Gibbo...
Bok Engelsk 2002

Mathematics of program construction : 5th international conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings

MPC 2000
Bok Engelsk 2000

Program construction and verification

Roland C. Backhouse
Bok Engelsk 1986

Syntax of programming languages : theory and practice

Roland C. Backhouse
Bok Engelsk 1979

Velg språk

English
Nynorsk
Davvisámegillii
Valgt språk:Bokmål