Timothy P. Clement & Kung-Kiu Lau 
Logic Program Synthesis and Transformation [PDF ebook] 
Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992

Ondersteuning

Logic program synthesis and transformation are topics of central importance to the software industry. The demand for software can not be met by the current supply, in terms of volume, complexity, or reliability. The most promising solution seems to be the increased automation of software production: programmer productivity would improve, and correctness could be ensured by the application of mathematical methods. Because of their mathematical foundations, logic programs lend thems...

Lees verder
€57.99
Betalingsmethoden
Koop dit e-boek en ontvang er nog 1 GRATIS!
Taal Engels ● Formaat PDF ● ISBN 9781447135609 ● Editor Timothy P. Clement & Kung-Kiu Lau ● Uitgeverij Springer London ● Gepubliceerd 2013 ● Downloadbare 3 keer ● Valuta EUR ● ID 4710216 ● Kopieerbeveiliging Adobe DRM
Vereist een DRM-compatibele e-boeklezer

Meer e-boeken van dezelfde auteur (s) / Editor

16.834 E-boeken in deze categorie