Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
5 Results Found Subscribe to search results
00000DEFAULT
Print
1. 
Cover image for Generating language-based environments
Generating language-based environments
Author 
Reps, Thomas W. (Thomas William)
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267325
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Cognitive Modeling and Verbal Semantics : A Representational Framework Based on UML
Cognitive Modeling and Verbal Semantics : A Representational Framework Based on UML
Author 
Schalley, Andrea C., author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9783110909623
https://www.degruyter.com/isbn/9783110909623
Cover https://www.degruyter.com/document/cover/isbn/9783110909623/original
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Mathematical aspects of logic programming semantics
Mathematical aspects of logic programming semantics
Author 
Hitzler, Pascal., author. Seda, Anthony.
Preferred Shelf Number 
QA76.63 .H58 2011
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Algebraic semantics of imperative programs
Algebraic semantics of imperative programs
Author 
Goguen, Joseph. Malcolm, Grant.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267468
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for The formal semantics of programming languages an introduction
The formal semantics of programming languages an introduction
Author 
Winskel, G. (Glynn)
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826
Format: 
Availability 
Online Library~1
Available:
Copies: