Articoli correlati a Logic Programming: Formal Methods and Practical Applications
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.
- EditoreNorth-Holland
- Data di pubblicazione1994
- ISBN 10 0444820922
- ISBN 13 9780444820921
- RilegaturaCopertina rigida
- Numero di pagine418
- RedattorePlumer Lutz
I migliori risultati di ricerca su AbeBooks
Foto dell'editore
Logic Programming: Formal Methods and Practical Applications (Studies in Computer Science and Artificial Intelligence)
Editore:
Elsevier Publishing Company
(1994)
ISBN 10: 0444820922
ISBN 13: 9780444820921
Antico o usato
Rilegato
Quantità: 1
Da:
Valutazione libreria
Descrizione libro Condizione: Good. 418 pp., Hardcover, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Codice articolo ZB715410
Compra usato
EUR 6,07
Convertire valuta
Foto dell'editore
Logic Programming: Formal Methods and Practical Applications
Editore:
Elsevier Science Ltd
(1994)
ISBN 10: 0444820922
ISBN 13: 9780444820921
Antico o usato
Rilegato
Quantità: 1
Da:
Valutazione libreria
Descrizione libro Hardcover. Condizione: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Couverture différente. Edition 1994. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Different cover. Edition 1994. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo E-551-418
Compra usato
EUR 17,63
Convertire valuta
Foto dell'editore
Logic Programming: Formal Methods and Practical Applications
Editore:
Elsevier Science Ltd
(1994)
ISBN 10: 0444820922
ISBN 13: 9780444820921
Antico o usato
Rilegato
Quantità: 1
Da:
Valutazione libreria
Descrizione libro Hardcover. Condizione: Très bon. Ancien livre de bibliothèque. Couverture différente. Edition 1994. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Different cover. Edition 1994. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo E-832-350
Compra usato
EUR 49,49
Convertire valuta
Foto dell'editore
Logic Programming: Formal Methods and Practical Applications.
Editore:
Amsterdam: Elsevier
(1994)
ISBN 10: 0444820922
ISBN 13: 9780444820921
Antico o usato
Rilegato
Quantità: 1
Da:
Valutazione libreria
Descrizione libro Hardcover. Condizione: Very Good. Series: Studies in Computer Science and Artificial Intelligence 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 Language: English. Codice articolo 102570
Compra usato
EUR 55,14
Convertire valuta