VU-Multan
A World Class Education at Your Door Step
In the name of Allah, the beneficent, the merciful
VUMultan
CS
Math
BIO
Books
BIO Books
List View - Computer Science
Grid View - Computer Science
List View - Mathematics
Grid View - Mathematics
Handouts
VU-Tube
Slides
Faculty
Quran
CS Books
CS701
CS702
CS703
CS704
CS706
CS707
CS708
CS709
CS710
CS711
CS712
CS713
CS716
CS718
CS720
CS721
CS723
CS724
CS726
CS601
CS602
CS604
CS605
CS606
CS607
CS609
CS610
CS614
CS615
CS619
CS501
CS502
CS504
CS506
CS507
CS508
CS401
CS402
CS403
CS408
CS410
CS411
CS301
CS302
CS304
CS311
CS312
CS201
CS206
CS101
CS709 - Formal Methods For Software Engineering
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