Small peice of loose paper declaring that this book is a review copy. Plus a loose packing slip. Very minor shelfwear. ; *Semantics of Programming Languages and Model Theory* (Algebra, Logic and Applications, Vol. 5) delves into the relationship between programming language semantics and model theory. The book focuses on formal methods for understanding programming languages using logical and algebraic frameworks. It covers topics such as denotational semantics, algebraic structures, and model-theoretic techniques, providing theoretical foundations for how programming languages are interpreted and analyzed. It is a valuable resource for researchers and students interested in the intersection of logic, algebra, and computer science. ; 15.7 x 23. 2 x 3.2 cm ; vii, 366 pages.

N� de ref. del art�culo LCB62270

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Semantics of Programming Languages and Model Theory - Algebra, Logic and Applications (5)
Editor: CRC Press, Singapore
Fecha de publicaci�n: 1993
Idioma: Ingl�s
ISBN 10: 2881249353
ISBN 13: 9782881249358
Encuadernaci�n: Hardcover
Edici�n: (?); (?).
Estado: Very Good+
Estado de la sobrecubierta: No Dust Jacket

Acerca de

Sinopsis

A conference on Semantics of Programming Languages and Model Theory was held at the International Conference and Research Center for Computer Science, SchloB D�gstuhl, during June 23-29, 1991. Participants from 10 countries represented a wide range of interests on the subject where the interaction of different fields is so fruitful. In particular, methods from algebra, logic and order theory were used for the solution of problems from denotational semantics and domain theory; this was reflected in some talks. Several other talks treated topics ranging from functional programming languages and database models to linear logic, boolean algebras and model theory. A number of lectures dealt with the quickly developing area of evolving algebras and in particular with evolving algebra semantics of PROLOG and its relatives. This volume contains papers presented at the conference and a few others submitted by colleagues unable to attend.

Acerca del autor

Manfred Droste Universitiit Gesamthochschule, Essen Germany and Yuri Gurevich University of Michigan, Ann Arbor, USA.

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

Descripci�n de la librer�a

Please come visit our shop in Machynlleth or browse our stock online. We carry a wide range of academic books on all subjects, such as history, philosophy, psychology, psychiatry, mathematics, physics, geography, political science, political philosophy, religious studies, military history and many other subjects. We also carry antiquarian stock and general stock, especially cookery. We are always interested in collections, especially on academic subjects.

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

Literary Cat Books
United Kingdom

Condiciones de venta y env�o

Condiciones de venta

All orders of 50 pounds and higher will be shipped with mandatory insurance added.

We make every effort to describe each book or print accurately. However, we accept that an item might not prove to be as you expected it, or has been damaged in transport. We therefore accept returns within 14 days of receipt of the item, upon prior notification. We will provide a full refund upon receipt of the returned item by us.

Condiciones de env�o

Orders usually ship within 2/3 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know if extra shipping is required.

Overseas postage will be sent by airmail if you select priority and surface if you select standard postage. Surface mail to the United States or Canada can take up to six weeks, and up to twelve weeks to Australia and New Zealand.

We use only good quality materials and the utmost care when packaging our books to ensure they arrive in the best possible condition.

In the unlikely event that your book does not arrive within the specified shipping period, please feel free to contact us direct. Please provide your name, address and the details of your order.