Media type: Book Title: Formal specification and software development Contains: Literaturverz. S. 459 - 487 Contributor: Bjørner, Dines [Author]; Jones, Cliff B. [Author]; Andrews, Derek [Other] imprint: Englewood Cliffs, NJ [u.a.]: Prentice-Hall International, 1982 Published in: Prentice-Hall international series in computer science Extent: X, 501 S Language: English ISBN: 0133290034 RVK notation: ST 230 : Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge Keywords: Computer software Development ; Programming languages (Electronic computers) Origination: Footnote: Bibliography: p. 461-487 Includes index
Central Library – stack Shelf-mark: 0783 00190 001 Item ID: 10128175 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.