Jose Nuno Oliveira

Jose Nuno Oliveira

Books

Co-authored books and collections

Books that list Jose Nuno Oliveira among their authors but not as the lead author: co-written works, collections and compilations.

Teaching Formal MethodsJeremy Gibbons

Teaching Formal Methods

Jeremy Gibbons · 2009

Mathematics of Program ConstructionRoland C. Backhouse

Mathematics of Program Construction

Roland C. Backhouse · 2006