Compare prices for program development

	Interactive Theorem Proving and Program Development This title provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is a useful tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software. author: Bertot, Yves; publisher: Springer-Verlag     Availability: refer to store website Shipping: refer to store website	£50.00 at countrybookshop.co.uk  4.0/5 Info All items of this shop
	Murach (Mike) & Associates Inc. MVS Assembler Language: Concepts, Professional Subset, Advanced Functions, DASD Access Methods, Program Development Techniques Pages: 532, Paperback, Murach (Mike) & Associates Inc.     Availability: Usually dispatched within 24 hours Shipping: refer to store website	£38.99 at Amazon.co.uk  4.5/5 Info All items of this shop
	Addison Wesley Program Development in Java: Abstraction, Specification and Object-oriented Design Pages: 352, Hardcover, Addison Wesley     Availability: Usually dispatched within 24 hours Shipping: refer to store website	£39.89 at Amazon.co.uk  4.5/5 Info All items of this shop
	Course Technology Object-Oriented Program Development Using C++ Pages: 976, Paperback, Course Technology     Availability: Usually dispatched within 24 hours Shipping: refer to store website	£36.09 at Amazon.co.uk  4.5/5 Info All items of this shop
Offers from 1£ for "program development"
	Murach (Mike) & Associates Inc. DOSVSE JCL: Concepts, Job Control, VSEPower, Data Management, Program Development, Utilities Pages: 458, Paperback, Murach (Mike) & Associates Inc.     Availability: Usually dispatched within 24 hours Shipping: refer to store website	£38.99 at Amazon.co.uk  4.5/5 Info All items of this shop
	Wadsworth Functional Assessment and Program Development for Problem Behavior: A Practical Handbook Pages: 121, Paperback, Wadsworth     Availability: Usually dispatched within 24 hours Shipping: refer to store website	£43.69 at Amazon.co.uk  4.5/5 Info All items of this shop
	Heinle & Heinle The Elements of Language Curriculum: A Systematic Approach to Program Development Pages: 272, Paperback, Heinle & Heinle     Availability: Usually dispatched within 3 to 6 weeks Shipping: refer to store website	£20.90 at Amazon.co.uk  4.5/5 Info All items of this shop
	Springer-Verlag Berlin and Heidelberg GmbH & Co. K Interactive Theorem Proving and Program Development: Coq'Art: the Calculus of Inductive Constructions (Texts in Theoretical Computer Science: An EATCS S.) Pages: 494, Hardcover, Springer-Verlag Berlin and Heidelberg GmbH & Co. K     Availability: Usually dispatched within 24 hours Shipping: refer to store website	£47.50 at Amazon.co.uk  4.5/5 Info All items of this shop