|
|
Sold Out
Book Categories |
| List of Contributors | ||
| Preface | ||
| Semantics of Interaction: an Introduction to Game Semantics | ||
| Computational Content of Classical Logic | ||
| Syntax and Semantics of Dependent Types | ||
| Game Semantics | ||
| Metalanguages and Applications | ||
| Operationally-Based Theories of Program Equivalence | ||
| Categories in Concurrency | ||
| Index |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Scott Farmer
reviewed Semantics and Logics of Computation on January 15, 2013
Semantics and Logics of Computation
Fairly helpful with learning the basic concepts. It gives both flowchart and psuedocode examples to follow along with. The one thing I didn't appreciate is the concepts didn't always have concrete examples of what it might look like in real-life situations.
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 List
X
This item is in your Collection
Semantics and Logics of Computation
X
This Item is in Your Inventory
Semantics and Logics of Computation
X
You must be logged in to review the productsX
X
X
Add Semantics and Logics of Computation, The aim of this volume is to present modern developments in semantics and logics of computation in a way that is accessible to graduate students. The book is based on a summer school at the Isaac Newton Institute and consists of a sequence of linked lectu, Semantics and Logics of Computation to the inventory that you are selling on WonderClubX
X
Add Semantics and Logics of Computation, The aim of this volume is to present modern developments in semantics and logics of computation in a way that is accessible to graduate students. The book is based on a summer school at the Isaac Newton Institute and consists of a sequence of linked lectu, Semantics and Logics of Computation to your collection on WonderClub |
