• Medientyp: Buch
  • Titel: An introduction to formal specification and Z
  • Beteiligte: Potter, Ben [VerfasserIn]; Sinclair, Jane [VerfasserIn]; Till, David [VerfasserIn]
  • Erschienen: London [u.a.]: Prentice Hall, 1997
  • Erschienen in: Prentice Hall international series in computer science
  • Ausgabe: 2. ed., [Nachdr.]
  • Umfang: XIV, 434 S; graph. Darst
  • Sprache: Englisch
  • ISBN: 0132422077
  • RVK-Notation: ST 250 : Einzelne Programmiersprachen (A-Z)
  • Schlagwörter: Z
  • Entstehung:
  • Anmerkungen: Literaturverz. S. 414-418

Exemplare

(0)
  • Signatur: R2014 8 3422
  • Barcode: 30973491
  • Status: Ausleihbar, bitte bestellen