Log in

Program Construction

« previous entry | next entry »
Sep. 28th, 2007 | 01:44 pm
posted by: lazysunbather in compscibooks

I apologise, I've been newly made a computer scientist. I'm just looking for a text(s) recommendation. I'm doing a module called program construction - It involves *quantified notation,*Hoare triples finding the weakest precondition, backwards derivation, finding the values of an array, emptying the range, finding the guard, abstracted class reduction.

Can anybody recommend beginners texts in this area?

Link | Leave a comment | Share

Comments {1}


(no subject)

from: notquitezeus
date: Sep. 28th, 2007 04:51 pm (UTC)

that sounds like the sort of stuff that would come up in a formal methods & models class (software verification, formal proof of correctness, that sort of thing). the only think i can think of suggesting is looking up Z ("zed")

Reply | Thread