Custom cover image
Custom cover image

Formal specification and software development / Dines Bjørner and Cliff B. Jones in collab. with: Derek Andrews ..

By: Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: Prentice-Hall international series in computer sciencePublisher: Englewood Cliffs, NJ [u.a.] : Prentice-Hall International, 1982Description: X, 501 SISBN:
  • 0133290034
Subject(s): DDC classification:
  • 005.1
  • 001.64/25
RVK: RVK: ST 230LOC classification:
  • QA76.76.D47
Contents:
Call number: Grundsignatur: 83 A 129PPN: PPN: 024395730
Holdings
Item type Home library Shelving location Call number Status Barcode
Magazinbestand ausleihbar Bibliothek Campus Süd Geschlossenes Magazin 83 A 129 Available 15157649
Total holds: 0