Search

Your search returned 5 results.

Results
		No cover image available Software development : a rigorous approach by Jones, Cliff B \| . Series: Edition: Language: English Publication details: Englewood Cliffs ; Prentice-Hall, ; 1980Availability: Items available for loan: 1 Call number: 681.3.06 Jon. Place hold Add to cart (remove)
		No cover image available Formal specification and software development by Bjorner, Dines \| Jones, Cliff B \| . Series: Edition: Language: English Publication details: Englewood Cliffs ; : Prentice-Hall International, 19 ; Availability: Items available for loan: 1 Call number: 681.3.06 Bjo. Place hold Add to cart (remove)
		No cover image available Systematic software development using VDM by Jones, Cliff B \| . Series: Edition: 2nd ed Language: English Publication details: New York ; Prentice-Hall, 1 ; 1990Availability: Items available for loan: 1 Call number: 681.3.06 Jon. Place hold Add to cart (remove)
		Formal methods and hybrid real-time systems : essays in honour of Dines Bjorner and Zhou Chaochen on the occasion of their 70th birthdays by \| Jones, Cliff B \| Jones, Cliff B. Series: Lecture notes in computer science ; v.4700Edition: Language: English Publication details: Berlin ; Springer ; 2007Availability: Items available for loan: 1 Call number: 681.3For. Place hold Add to cart (remove)
		Theoretical aspects of computing : 4th international colloquium proceedings, ICTAC, Macao, China, Sept. 26-28, 2007 by \| Jones, Cliff B \| Jones, Cliff B. Series: Lecture notes in computer science ; v.4711Edition: Language: English Publication details: Berlin ; Springer-Verlag ; 2007Availability: Items available for loan: 1 Call number: 681.3The:4:07. Place hold Add to cart (remove)

Powered by Koha