Research Catalog

The spine of software: designing provably correct software : theory and practice, or, A mathematical introduction to the semantics of computer programs

Title
The spine of software: designing provably correct software : theory and practice, or, A mathematical introduction to the semantics of computer programs / Robert Laurence Baber.
Author
Baber, Robert Laurence.
Publication
Chichester : Wiley, ©1987.

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?
TextUse in library QA76.76.D47 B33 1987Off-site

Details

Description
xi, 316 pages : illustrations; 23 cm
Subject
  • Computer programming
  • Computer science > Mathematics
  • computer programming
  • Softwareentwicklung
  • Software Engineering
  • Programmverifikation
Note
  • Includes index.
Bibliography (note)
  • Bibliography: p. 302-305.
ISBN
  • 0471914746
  • 9780471914747
LCCN
86032483
OCLC
  • ocm59238812
  • 59238812
  • SCSB-1184726
Owning Institutions
Princeton University Library