Articles liés à Computer Program Construction

Computer Program Construction - Couverture rigide

Mili, Ali; Etc.; DeSharnais, J.; Mili, F.

 
9780195092363: Computer Program Construction

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.