An edition of Semantics
(1993)
Semantics: Foundations and Applications
REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings (Lecture Notes in Computer Science)
1 edition
by REX Workshop (1992 Beekbergen, Netherlan..., J. W. De Bakker, and W. P. De Roever
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Semantics: Foundations and Applications : Rex Workshop Beekbergen, the Netherlands, June 1-4, 1992 Proceedings (Lecture Notes in Computer Science)
June 1993, Springer
0387565965 9780387565965
|
zzzz
|
2
Semantics: Foundations and Applications: REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings (Lecture Notes in Computer Science)
June 4, 1993, Springer
Paperback
in English
- 1 edition
3540565965 9783540565963
|
aaaa
|
3
Semantics: foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings
1993, Springer-Verlag
in English
3540565965 9783540565963
|
zzzz
|
Book Details
First Sentence
"Statements of a programming language can be given a semantics by associating every statement with a predicate transformer, i.e., a function mapping predicates to predicates."
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created April 30, 2008
- 5 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| July 30, 2019 | Edited by MARC Bot | associate edition with work OL3920987W |
| April 24, 2010 | Edited by Open Library Bot | Fixed duplicate goodreads IDs. |
| April 16, 2010 | Edited by bgimpertBot | Added goodreads ID. |
| April 14, 2010 | Edited by Open Library Bot | Linked existing covers to the edition. |
| April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |