Program construction and verification / Roland C. Backhouse

By:

Contributor(s):

Resource type: Ressourcentyp: BuchBookLanguage: English Series: Prentice-Hall international series in computer sciencePublisher: Englewood Cliffs, NJ [u.a.] : Prentice-Hall, 1986Description: XI, 281 S. : graph. DarstISBN:

Subject(s):

DDC classification:

RVK: RVK: ST 230 | ST 233LOC classification:

Call number: Grundsignatur: 86 A 2087PPN: PPN: 02529220X

Holdings
Item type	Home library	Shelving location	Call number	Status	Date due	Barcode	Item holds
Magazinbestand ausleihbar	Bibliothek Campus Süd	Geschlossenes Magazin	86 A 2087	Available		45199921090

Total holds: 0