• 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

copies

(0)
  • Shelf-mark: R2014 8 3422
  • Item ID: 30973491
  • Status: Loanable, place order