Media type: Book Title: Formal specification and documentation using Z : a case study approach Contributor: Bowen, Jonathan P. [Author] Published: London [u.a.]: International Thomson Computer Press, 1996 Issue: 1. print. Extent: XVI, 302 S.; graph. Darst Language: English ISBN: 1850322309 RVK notation: ST 140 : Semantik von Programmiersprachen Keywords: Z Origination: Footnote: Literaturverz. S. 253 - 284
Departmental Library DrePunct – stack Shelf-mark: 1997 8 015146 001 Item ID: 10426192 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order