Research Catalog

Theory of program structures : schemes, semantics, verification

Title
Theory of program structures : schemes, semantics, verification / Sheila A. Greibach.
Author
Greibach, Sheila, 1939-
Publication
Berlin ; New York : Springer-Verlag, 1975.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
Book/TextUse in library QA76.6.G743 1975Off-site

Details

Description
389 pages in various pagings : illustrations; 25 cm.
Series Statement
Lecture notes in computer science ; 36
Uniform Title
Lecture notes in computer science ; 36.
Subject
  • Computer programming
  • Recursive programming
  • Computer programs
  • Software
  • computer programming
  • software
  • Computer programs > Verification
  • Programming languages (Electronic computers) > Semantics
Genre/Form
Computer programs.
Bibliography (note)
  • Includes bibliography and index.
ISBN
  • 0387074155
  • 9780387074153
  • 3540074155
  • 9783540074151
LCCN
75031780
OCLC
  • ocm01733581
  • 1733581
  • SCSB-241646
Owning Institutions
Princeton University Library