> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Konferenzbericht Titel: ZB 2000: formal specification and development in Z and B : proceedings Beteiligte: Bowen, Jonathan P. [Hrsg.] Veranstaltung: ZB Erschienen: Berlin; Heidelberg: Springer, 2000 Erschienen in: Lecture notes in computer science ; 1878 Umfang: XIV, 510 S.; graph. Darst; 23 cm Sprache: Englisch ISBN: 3540679448 RVK-Notation: SS 4800 : Lecture notes in computer science Schlagwörter: Softwareentwicklung > Softwarespezifikation > Formale Spezifikationstechnik > Z Softwareentwicklung > Softwarespezifikation > Formale Spezifikationstechnik > B Softwareentwicklung > Softwarespezifikation > Formale Spezifikationstechnik > Z Softwareentwicklung > Softwarespezifikation > Formale Spezifikationstechnik > B Entstehung: Anmerkungen: Includes bibliographical references and index Weitere Bestandsnachweise 0 : Lecture notes in computer science
Bereichsbibliothek DrePunct – Magazin Signatur: R2016 8 4999 Barcode: 30081809 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden