Media type: Book Title: The B-book : assigning programs to meanings Contributor: Abrial, Jean-Raymond [Author] imprint: Cambridge [u.a.]: Cambridge Univ. Press, 1996 Extent: XXXIV, 779 S.; graph. Darst; 26 cm Language: English ISBN: 0521496195 RVK notation: ST 230 : Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge Keywords: Softwareentwicklung > Formale Methode B Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: R2013 4 1292 Item ID: 10429040 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.