Logic Programming: Formal Methods and Practical Applications - Rilegato

Beierle, Christoph

 
9780444820921: Logic Programming: Formal Methods and Practical Applications
Rilegato
ISBN 10: 0444820922 ISBN 13: 9780444820921
Casa editrice: North-Holland, 1994

Sinossi

There is growing evidence of a convergence between the technical challenges of developing advanced software systems on the one hand, and the formal techniques, tools and features evolving from the logic programming paradigm on the other. This book aims at promoting such convergence. It provides contributions towards different aspects of logic programming, which are relevant to the development of complex and reliable software systems and describes a number of advanced applications. The papers are organized around four main themes: Foundations; Languages Aspects and Methodology; Constraints; and Applications. The publication closes with an outlook on the challenges and opportunities lying ahead in the field of logic programming.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Product Description

404p grey cloth with red lettering, a nice clean copy, unused, minimal library marking, tight and clean, year of publiction in book given as 1995

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
North-Holland
Data di pubblicazione
1994
Lingua
Inglese
ISBN 10 
0444820922
ISBN 13 
9780444820921
Rilegatura
Copertina rigida
Numero di pagine
418
Redattore
Plumer Lutz
Contatto del produttore
non disponibile
Persona responsabile
non disponibile