Semanics With Application / by Hanne Riis Nielson.
Material type: TextPublication details: New Yark : Johan Wiley &sons, 1992Description: v, 240p. : ill. ; 24 cmISSN: 0471929808 (pbk)Subject(s): -- A Formal IntroducationDDC classification: 005.131
Contents:
1- Introduction
2- Operational Semantics
3- Provably Correct Implementation
4- Denotational Semantics
5- Static Program Analysis
6- Axiomatic Program Verification
7- Further Reading
Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Books | Namal Library Computer Science | 005.131 NIE-S 1992 2750 (Browse shelf (Opens below)) | Available | 0002750 |
Total holds: 0
index present.
1- Introduction
2- Operational Semantics
3- Provably Correct Implementation
4- Denotational Semantics
5- Static Program Analysis
6- Axiomatic Program Verification
7- Further Reading
There are no comments on this title.