Custom cover image
Custom cover image

The correctness problem in computer science / ed. by R. S. Boyer and J. Strother Moore

Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: International lecture series in computer sciencePublisher: London; New York : Academic Press, 1981Description: XIII, 279 SISBN:
  • 0121229203
Subject(s): DDC classification:
  • 001.64/25 001.64/24/0287
  • 001.64/25
  • 001.64/24/0287
RVK: RVK: ST 140Call number: Grundsignatur: 82 A 742PPN: PPN: 02436407X
Holdings
Item type Home library Shelving location Call number Status Barcode
Magazinbestand ausleihbar Bibliothek Campus Süd Geschlossenes Magazin 82 A 742 Available 50191060090
Total holds: 0