Dr. Fakhar Lodhi

Name Dr. Fakhar Lodhi
Degree D.Sc. Computer Science
University George Washington University, USA.
Subject(s) CS709 CS605 CS508 CS504
Handouts CS709 CS605 CS508 CS504
 Videos CS709 CS605 CS508 CS504
Profile(s) VU LinkedIn ResearchGate Facebook

Related Books:

Design by contract by example by Richard Mitchell and Jim McKim

Object-Oriented Software Construction by Bertrand Meyer

Program Construction and Verification by Roland C. Backhouse

Program Construction: Calculating Implementation by Roland Backhouse

Software Engineering by Ian Sommerville
The Object Constraint Language, precise modeling with UML by Jos Warmer and Anneke Kleppe
The Specification of Complex Systems by B. Cohen, W. T. Harwood and M. I. Jackson

Using Z: Specification, Refinement, and Proof by Jim Woodcock & Jim Davies

The Unified Modeling Language User Guide by Grady Booch

Software Engineering: A Practitioner’s Approach by Roger S. Pressman

Concepts of Programming Languages by Robert W. Sebesta