Research Catalog

Towards a formal description of Ada /

Title
Towards a formal description of Ada / edited by D. Bjørner and O.N. Oest.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
Not available - Please for assistance.
TextUse in library QA76.73.A35 xT69Off-site

Details

Additional Authors
  • Bjørner, D. (Dines), 1937-
  • Oest, O. N.
Description
xii, 630 p.; 24 cm.
Subject
ISBN
  • 0387102833 (N.Y.)
  • 3540102833 (Berlin)
Owning Institutions
Princeton University Library