Semanics With Application / by Hanne Riis Nielson.

By: Nielson, Hanne RiisContributor(s): Flemming NielsonMaterial type: TextTextPublication 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
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode Item holds
Books 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.

to post a comment.