Formal semantics of programming languages
By: Winskel, Glynn.
Material type:
BookSeries: Foundations of computing.Publisher: London: MIT Press, 1993Description: xviii, 361 p.; ill.: 23 cm.ISBN: 0262731037 .Subject(s): Programming languages (Electronic computers) -- SemanticsDDC classification: 005.131
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 005.131 WIN (Browse shelf) | Available | 011199 |
Browsing DAIICT Shelves Close shelf browser
| 005.131 SUB Formal models, languages and applications | 005.131 TER Term rewriting systems | 005.131 WEL Concurrent and real-time programming in Java | 005.131 WIN Formal semantics of programming languages | 005.13119 WOO Software engineering mathematics : formal methods demystified | 005.133. FEU C puzzle book | 005.133 ADA Professional EJB |
There are no comments for this item.