Computer Science Logic: 7th Workshop, Csl '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers (Csl '93, Swansea, United Kingdom, September 13-17, 1993 - Selected Papers) - Lecture Notes in Computer Science - Egon Brger - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540582779 - July 20, 1994
In case cover and title do not match, the title is correct

Egon Brger
Computer Science Logic: 7th Workshop, Csl '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers (Csl '93, Swansea, United Kingdom, September 13-17, 1993 - Selected Papers) - Lecture Notes in Computer Science

Price
$ 54.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 14 - 20

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

This volume contains a selection of papers presented at the Conference of the European Association for Computer Science Logic, held at Swansea in September 1993. Topics discussed include set constraints, lambda calculi, process algebras, program semantics, fixed-point logics, Horn clauses and more.

344 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 20, 1994
ISBN13 9783540582779
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 344
Dimensions 216 × 279 × 18 mm   ·   503 g
Language German  

Mere med samme udgiver

See all of Egon Brger ( e.g. Paperback Book )