Edel (lazysunbather) wrote in computerscience,
Edel
lazysunbather
computerscience

Program Construction

I apologise, I have been newly made a computer scientist. I am doing a module calles Program construction* were covering quantified* notation hoare triples*, weakest preconditions, backwards derivation, emptying the range finding the values in an array, abstracted class reduction etc

I was wondering if anyone could recommend a text(s) for a beginner in this area.

xposted compscibooks
  • Post a new comment

    Error

    default userpic
  • 1 comment