Get Free Shipping on orders over $89
Algebra, Logic and Applications : Algebra, Logic, and Applications, Vol 5 - Manfred Droste

Algebra, Logic and Applications

By: Manfred Droste, Yuri Gurevich

Hardcover | 10 September 1993 | Edition Number 1

At a Glance

Hardcover


RRP $336.00

$289.75

14%OFF

or 4 interest-free payments of $72.44 with

 or 

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.

More in Software Engineering

The Essence of Software Engineering - Cersei Page
Fundamentals of Software Architecture : A Modern Engineering Approach - Mark Richards
Design Patterns : Elements of Reusable Object-Oriented Software - Erich Gamma
Git : Pocket Guide : A Working Introduction - Richard Silverman

RRP $47.75

$38.20

20%
OFF
Site Reliability Engineering : How Google Runs Production Systems - Betsy Beyer
Arduino for Dummies : Blackwell Philosophy Anthologies - John Nussey
Coding All-in-One For Dummies : 2nd Edition - Chris Minnick

RRP $69.95

$46.99

33%
OFF
Developing Graphics Frameworks with Java and OpenGL - Lee Stemkoski
Hacking For Dummies : For Dummies (Computer/Tech) - Kevin Beaver

RRP $49.95

$36.75

26%
OFF
C# 12 Pocket Reference : Instant Help for C# 12 Programmers - Joseph Albahari
C# 12 in a Nutshell : The Definitive Reference - Joseph Albahari

RRP $133.00

$106.40

20%
OFF
Typescript Cookbook : Real World Type-Level Programming - Stefan Baumgartner