Semantics of Programming Languages and Model Theory

Name: Semantics of Programming Languages and Model Theory
Brand: CRC PR INC
Price: 289.75 AUD
Availability: BackOrder

By: Manfred Droste, Yuri Gurevich

Write A Review

Hardcover | 10 September 1993 | Edition Number 1

At a Glance

Hardcover
416 Pages

Dimensions(cm)
23.4 x 15.6 x 2.54

Hardcover

RRP $336.00

$289.75

14%OFF

or 4 interest-free payments of $72.44 with

Available for Backorder. We will order this from our supplier however there isn't a current ETA.

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $49.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.