Program Construction
Calculating Implementations from Specifications
Buch in deiner Nähe kaufen
Beschreibung
* Unique approach tackles what most books don't-why maths andlogic are fundamental tools for a programmer
* This comprehensive guide is a balanced combination ofmathematical theory and the practice of programming
* Straightforward presentation of construction principlesinlcuding: assignment axiom, sequential composition, case analysis,use of invariants and bound functions
* Includes a wide range of entertaining and challenging examplesand exercises
Autor*in
Roland Backhouse
Themen in »Program Construction«
Computer Science Informatik Programmierung Programmierung u. Software-Entwicklung Programming & Software Development Softwareentwicklung