Your search returned 4 results.

Results
	1.	Systematic software development using VDM Cliff B. Jones. by Jones, Cliff B Series: Prentice-hall international series in computer science Material type: Book Publication details: Englewood cliffs Prentice Hall 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6425 N8635.
	2.	Formal specification and software development Dines Bjorner and Cliff B Jones by Bjorner, Dines Jones Cliff B Material type: Book Publication details: New Jersey Prentice/Hall 1982 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.6425 N82. Place hold
	3.	Formal Methods and Hybrid Real-Time Systems [electronic resource] Essays in Honor of Dines Bj७rner and Chaochen Zhou on the Occasion of Their 70th Birthdays by Cliff B Jones, Zhiming Liu and Jim Woodcock by Jones, Cliff B Liu, Zhiming Woodcock, Jim Material type: Book Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.33 (e-book). Place hold
	4.	Software development : a rigorous approach by Cliff B Jones by Jones, Cliff B Series: Prentice hall international series in computer science ; Material type: Book Publication details: New Jersey Prentice hall 1980 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004 N802. Place hold

Refine your search