Semantics: Foundations and Applications
Format: Paperback
ISBN13: 9783540565963
Paperback|9783540565963
✨ Featured Offer
Brand New
$112.98
List Price: $109.99
🚚
See all 2 offers from $62.33 FREE standard delivery by: 01 Apr 2026
Overview
Researchers working on the semantics of programminglanguages came together in The Netherlands in June 1992 fora workshop on Semantics - Foundations and Applications. Thisvolume is based on the meeting and contains materialprepared by the lecturers after the meeting took place. Thevolume includes papers on a wide range of topics in bothfoundationsand applications, including:- Comparative domain theory, category theory, informationsystems,- Concurrency: process algebras, asynchronous communication,action semantics, trace nets, process refinement, concurrentconstraint programming,- Predicate transformers, refinement,weakest preconditions,- Comparative semantics of programming concepts, fullabstraction,- Reasoning about programs: total correctness, epistemiclogic,- Logic programming,- Functional programming: sequentiality, integration withconcurrency, applied structured operational semantics.The workshop was an activity of the project REX (ResearchandEducation in Concurrent Systems) sponsored by theNetherlands NFI (NationaleFaciliteit Informatica)Programme.
| ISBN-13 | 9783540565963 |
|---|---|
| ISBN-10 | 3540565965 |
| Weight | 2.06 Pounds |
| Dimensions | 6.10 x 1.53 x 9.25 In |
| List Price | $109.99 |
| Edition | 1st Edition |
| Format | Paperback |
|---|---|
| Language | English |
| Pages | ix, 667 pages |
| Publisher | Springer |
| Published On | 1993-04-29 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
Used, Good
Seller details
Bonita
Santa Clarita, CA, USA
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Free delivery by: 01 Apr 2026
✨ Brand New
Seller details
Alibris
Sparks, NV, USA
Trade paperback (US). Glued binding. 667 p. Lecture Notes in Computer Science, 666.
Free delivery by: 01 Apr 2026