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:

Subject(s):

DDC classification:

RVK: RVK: ST 230LOC classification:

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