Sold Out
Book Categories |
Preface | ||
A formal specification of PARLOG | 1 | |
The meaning of specifications II: Set-theoretic specification | 43 | |
Petri nets and automata with concurrency relations: An adjunction | 69 | |
Concurrent automata, prime event structures and universal domains | 89 | |
Synthesis of nondeterministic asynchronous automata | 109 | |
A cartesian closed category of parallel algorithms between Scott-domains | 127 | |
Observable modules and power domain constructions | 159 | |
The Smyth-completion of a quasi-uniform space | 189 | |
What is a state of a system? (An outline) | 213 | |
Current trends in the semantics of data flow | 245 | |
Computing the canonical representation of a finite lattice | 269 | |
A theory of unary pairfunctions | 287 | |
A lattice interpretation of database dependencies | 305 | |
Semantics in an extended entity-relationship model | 327 | |
Index | 363 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionSemantics of Programming Languages and Model Theory, Vol. 5
X
This Item is in Your InventorySemantics of Programming Languages and Model Theory, Vol. 5
X
You must be logged in to review the productsX
X
X
Add Semantics of Programming Languages and Model Theory, Vol. 5, , Semantics of Programming Languages and Model Theory, Vol. 5 to the inventory that you are selling on WonderClubX
X
Add Semantics of Programming Languages and Model Theory, Vol. 5, , Semantics of Programming Languages and Model Theory, Vol. 5 to your collection on WonderClub |