Media type: Book Title: An introduction to formal specification and Z Contributor: Potter, Ben [Author]; Sinclair, Jane [Author]; Till, David [Author] Published: London [u.a.]: Prentice Hall, 1997 Published in: Prentice Hall international series in computer science Issue: 2. ed., [Nachdr.] Extent: XIV, 434 S; graph. Darst Language: English ISBN: 0132422077 Origination: RVK notation: ST 250 : Einzelne Programmiersprachen (A-Z) Keywords: Z Footnote: Literaturverz. S. 414-418
Departmental Library DrePunct – stack Shelf-mark: R2014 8 3422 Item ID: 30973491 Status: Loanable, place order > Ordering possible ‒ please log in