Media type: Book Title: Algebraic specification Contributor: Bergstra, J. A. [Other]; Heering, J. [Other]; Klint, Paul [Other]; Bergstra, Jan A. [Hrsg.] imprint: Wokingham, England [u.a.]: Addison-Wesley [u.a.], 1989 Published in: ACM Press frontiers series Issue: 1. printed Extent: XIII, 397 S; Graph. Darst; 25 cm Language: English ISBN: 0201416352 RVK notation: ST 270 : Datenbanken, Datenbanksysteme, Data base management, Informationssysteme. Allgemein ST 233 : Programmverifikation, -qualität, -test, -bewertung Test etc. ST 140 : Semantik von Programmiersprachen Keywords: Abstrakter Datentyp > Algebraische Spezifikation Origination: Footnote: Bibliography: p. [381] - 390 Includes index
Departmental Library DrePunct – stack Shelf-mark: 93 8 39150 001 Item ID: 10427352 Status: Loanable, place order > Ordering possible ‒ please log in