A Paradigm for Program Semantics: Power Structures and Duality
C. Brink; Ingrid Rewitzky; Ingrid M. Rewitsky (Lecturer in Mathematics, University of Cape Town, South Africa)
Language: English
Published by Centre for the Study of Language & Information, 2002
- Softcover
- New
Seller: Asano Bookshop, Nagoya, AICHI, JapanAsano Bookshop
AbeBooks seller since September 15, 2010
Condition: New
US$ 28.50
Quantity: 1 available
Add to basketItem description from seller
This text provides a synthesis of four versions of program semantics - relational semantics, predicate transformer semantics, information systems and domain theory - showing that is is possible to do back-and-forth translation from any of these versions of program semantics into any of the others.
Seller Inventory # b13586
- Title
- A Paradigm for Program Semantics: Power Structures and Duality
- Author
- C. Brink; Ingrid Rewitzky; Ingrid M. Rewitsky (Lecturer in Mathematics, University of Cape Town, South Africa)
- Publisher
- Centre for the Study of Language & Information
- Publication year
- 2002
- Condition
- Brand New
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 1575863448
- ISBN 13
- 9781575863443
"Synopsis" may belong to another edition of this title.
About the Author
"About the title" may belong to another edition of this title.
Asano Bookshop
Nagoya, AICHI, Japan
AbeBooks seller since September 15, 2010
Shipping rates from Japan to U.S.A.
| Item | 30 to 60 business days | 8 to 14 business days |
|---|---|---|
| First item | US$ 37.00 | US$ 44.00 |
Payment methods
- Paypal
Store description
Books on American and British English Literature, background of Literature
Seller's business information
Asano Bookshop
AICHI, Japan
Terms of sale
We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.