Artículos relacionados a Computer Program Construction

Computer Program Construction - Tapa dura

Mili, Ali; Desharnais, Jules; Mili, Fatma

 
9780195092363: Computer Program Construction

Sinopsis

This book presents a comprehensive treatment of the process of constructing computer programs through stepwise resolutions of relational equations. Unlike other books that take a logic-based approach to the topic, the authors derive constructive solutions to these equations by means of programming heuristics, three classes of which are presented in detail; sequence heuristics, iteration heuristics, and generalization heuristics. The authors are the leaders in this field and their experience is wonderfully showcased in this definitive introduction to the subject.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

This book presents a comprehensive treatment of the process of constructing computer programs through stepwise resolutions of relational equations. Unlike other books that take a logic-based approach to the topic, the authors derive constructive solutions to these equations by means of programming heuristics, three classes of which are presented in detail; sequence heuristics, iteration heuristics, and generalization heuristics. The authors are the leaders in this field and their experience is wonderfully showcased in this definitive introduction to the subject.

"Sobre este título" puede pertenecer a otra edición de este libro.