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.

N� de ref. del art�culo 102570

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Logic Programming: Formal Methods and Practical Applications.

Editor

Amsterdam: Elsevier

Fecha de publicaci�n

1994

Idioma

Ingl�s

ISBN 10

0444820922

ISBN 13

9780444820921

Encuadernaci�n

Hardcover

Estado

Very Good

Cat�logos de vendedores

Computing

Acerca de

Sinopsis

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.

Rese�a del editor

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

Descripci�n de la librer�a

We have been selling academic and scholarly books in Cambridge since 1996. Today we occupy an old warehouse on Coldhams Road, adjacent to the railway tracks leading to Ely, not too far from the airport. The site is called Restwell House. We are an internet bookshop, but visitors are very welcome. Some drop off a few boxes of unwanted books, some pick up a book to save on the postage, some just drop by to get to know us, or want to take advantage of the many bargains on our wooden shelves bookshop, which is distinct from the internet stock offered on the web. Our mission has always been to find new homes for the books we are looking after. If we cannot sell them online, we offer them at very low prices to our visitors. We try to give you a serious and dedicated service which is focussed on the individuality of each single book: its condition, its origin, sometimes even its smell. You come to us for real books, not just instances of ISBNs.

Ver la p�gina web de la librer�a

Miembro de asociaci�n

Los miembros de estas asociaciones est�n comprometidos a mantener los est�ndares m�s altos. Ellos garantizan la autenticidad de los art�culos que ofrecen a la venta. Tienen descripciones expertas y detalladas, se�alan los defectos significativos y/o restauraciones, muestran los precios exactos y llevan a cabo un servicio de imparcialidad y honestidad durante la experiencia de la compra.

Informaci�n empresarial del vendedor

Plurabelle Books Ltd
Unit 8 Restwell House, Coldhams Rd, Cambridge, CB1 3EW, United Kingdom

Condiciones de venta y env�o

Condiciones de venta

Major Credit Cards accepted, also Paypal We can also take payment in Euros with our German Postbank account. For more information call, mail or visit our premises in Cambridge.

Condiciones de env�o

Orders usually ship on the day received. Standard shipping to International destinations is by Airmail. Please let us know if you'd like a quote for tracked shipping. If your order is for multiple heavy volumes and our default shipping rate is based on one volume only, we may contact you regarding additional postage.
We are pleased to answer any questions you may have and are happy to send images on request.