Normal view MARC view ISBD view

Programming logic : with an introduction to the PL/CV verifier

By: Constable R LContributor(s): O'Donnell M J [Auth.]Material type: Text

TextLanguage: English Publication details: Cambridge C U P 1978Description: x,389pISBN: 0-87626-726-6Subject(s): Computer science | Programming logicDDC classification: 005.131

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings ( 1 )
Comments ( 0 )

Item type

Current library

Call number

Status

Date due

Barcode

Item holds

Books

ISI Library, Kolkata 4th Floor

005.131 C756 (Browse shelf)

Available

96161

Total holds: 0

Browsing ISI Library, Kolkata shelves, Shelving location: 4th Floor Close shelf browser (Hides shelf browser)

Previous	No cover image available				No cover image available	No cover image available	No cover image available	Next
Previous	005.131 B871 Structured problem analysis and logic design	005.131 C623 Grammars for programming languages	005.131 C756 Introduction to the PL/CV2 programming logic	005.131 C756 Programming logic : with an introduction to the PL/CV verifier	005.131 C967 Mathematics and logic for digital devices	005.131 D411 Machines,languages,and computation	005.131 D427 Attribute grammars : definitions,systems and bibliography	Next

There are no comments on this title.

to post a comment.