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.

Bestandsnummer des Verk�ufers LCB62270

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Semantics of Programming Languages and Model Theory - Algebra, Logic and Applications (5)
Verlag: CRC Press, Singapore
Ver�ffentlichungsdatum: 1993
Sprache: Englisch
ISBN-10: 2881249353
ISBN-13: 9782881249358
Bindung: Hardcover
Ausgabe: (?); (?).
Zustand: Very Good+
Zustand des Schutzumschlags: No Dust Jacket

�ber diesen Titel

Inhaltsangabe

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.

�ber die Autorin bzw. den Autor

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

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

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.

Zur Homepage des Verk�ufers

Verbandsmitglied

Verbandsmitglieder verpflichten sich, h�chste Standards einzuhalten. Sie garantieren die Echtheit aller zum Verkauf angebotenen Objekte. Ihre Objektbeschreibungen sind sachkundig und genau, etwaig vorhandene M�ngel oder Restaurationen werden offengelegt. Die Ansetzung der Verkaufspreise erfolgt nach akkurater Recherche. Alle Verk�ufe werden stets fair und redlich abgewickelt.

Unternehmensdaten des Verk�ufers

Literary Cat Books
United Kingdom

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

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.

Versandbedingungen

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.