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 work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
| Edition | Availability |
|---|---|
1
Semantics: foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings
1993, Springer-Verlag
in English
3540565965 9783540565963
|
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 (Lecture Notes in Computer Science)
June 1993, Springer
0387565965 9780387565965
|
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)
| July 23, 2024 | Edited by MARC Bot | import existing book |
| October 4, 2021 | Edited by ImportBot | import existing book |
| July 30, 2019 | Edited by MARC Bot | associate edition with work OL3920987W |
| December 4, 2010 | Edited by Open Library Bot | Added subjects from MARC records. |
| December 10, 2009 | Created by WorkBot | add works page |