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 r�f. du vendeur LCB62270

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre: Semantics of Programming Languages and Model Theory - Algebra, Logic and Applications (5)
�diteur: CRC Press, Singapore
Date de parution: 1993
Langue: anglais
ISBN � 10 chiffres: 2881249353
ISBN � 13 chiffres: 9782881249358
Reliure: Hardcover
�dition: (?); (?).
�tat de l'article: Very Good+
�tat de la jaquette: No Dust Jacket

A propos de ce titre

Synopsis

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.

� propos de l?auteur

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

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

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.

Visitez la page d�accueil du vendeur

Membre d'association

Les membres de ces associations s'engagent � maintenir des normes de qualit� sup�rieure. Ils garantissent l'authenticit� de tous les articles propos�s � la vente. Ils fournissent des descriptions expertes et d�taill�es, indiquent tous les d�fauts importants ainsi que les restaurations, fournissent des prix clairs et pr�cis et font preuve d��quit� et d�honn�tet� tout au long de la relation commerciale.

Informations commerciales relatives au vendeur

Literary Cat Books
United Kingdom

Conditions de vente et de livraison

Conditions g�n�rales de vente

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.

Conditions d'exp�dition

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.