Normal view MARC view ISBD view

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

By: Huang, J. C, 1935-.
Material type: materialTypeLabelBookPublisher: Cambridge ; New York : Cambridge University Press, 2008Description: xii, 196 p. : ill. ; 24 cm.ISBN: 9780521882866; 0521882869.Subject(s): Computer software -- Development | Computer software -- Development -- Computer programs | Informatics and Computer Science January2017DDC classification: 005.1
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.
    average rating: 0.0 (0 votes)
Item type Current location Collection Call number Vol info Status Date due Barcode Item holds
Book - Borrowing Book - Borrowing Central Library
Lower Floor
Scientific home BookShop 005.1 HUA (Browse shelf) 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 for this item.

Log in to your account to post a comment.

Powered by Koha