Image from Google Jackets

Path-oriented program analysis / J. C. Huang.

By: Material type: TextPublication details: Cambridge ; New York : Cambridge University Press, 2008.Description: xii, 196 p. : ill. ; 24 cmISBN:
  • 9780521882866
  • 0521882869
Subject(s): DDC classification:
  • 22 005.1 HUA
Contents:
State constraints -- Subprogram simplification -- Program set -- Pathwise decomposition -- Tautological constraints -- Program recomposition -- Discussion -- Automatic generation of symbolic traces.
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
Cover image Item type Current library Home library Collection Shelving location Call number Materials specified Vol info URL Copy number Status Notes Date due Barcode Item holds Item hold queue priority Course reserves
Book - Borrowing Central Library Lower Floor Scientific home BookShop 005.1 HUA (Browse shelf(Opens below)) 2691 Available 000040736
Total holds: 0

Index : p. 194-196.

Bibliography : p. 191-193.

State constraints -- Subprogram simplification -- Program set -- Pathwise decomposition -- Tautological constraints -- Program recomposition -- Discussion -- Automatic generation of symbolic traces.

There are no comments on this title.

to post a comment.

Novelist Select

© BUE Library 2020