Media type: Book Title: Specification and verification of abstract data types Contributor: Bothe, Klaus [Author] Published: Berlin: Humboldt-Univ., 1979 Published in: Humboldt-Universität zu Berlin: Seminarberichte ; 13 Extent: 132 S. Language: English Origination: Footnote: Zs.fassung in dt., engl. u. russ. Spr
Central Library – stack Shelf-mark: 0779 00346 001 Item ID: 32683133 Status: Loanable, place order > Ordering possible ‒ please log in Orders received from Mon - Fri by 1 pm are expected to be ready for you on the same day.