Navigation überspringen
Universitätsbibliothek Heidelberg
Status: bestellen
> Bestellen/Vormerken
Signatur: 88 H 1674   QR-Code
Standort: Zweigstelle Neuenheim / Freihandbereich Monograph  3D-Plan
Exemplare: siehe unten
Verfasser:Spivey, J. M.   i
Titel:Understanding Z
Titelzusatz:a specification language and its formal semantics
Verf.angabe:J. M. Spivey
Ausgabe:1 publ.
Verlagsort:Cambridge [u.a.]
Verlag:Cambridge Univ. Pr.
Jahr:1988
Umfang:VIII, 131 S.
Gesamttitel/Reihe:Cambridge tracts in theoretical computer science ; 3
ISBN:0-521-33429-2
 978-0-521-33429-7
Schlagwörter:(s)Z <Programmiersprache>   i
Sprache:eng
Altbestandsnotation:SysK: Math N 067: Z
RVK-Notation:ST 230   i
 ST 250   i
SWB-PPN:014845377
Verknüpfungen:→ Übergeordnete Aufnahme
Exemplare:

SignaturQRStandortStatus
88 H 1674QR-CodeZweigstelle Neuenheim / Freihandbereich Monographien3D-Planbestellbar
Mediennummer: 03500553

Permanenter Link auf diesen Titel (bookmarkfähig):  https://katalog.ub.uni-heidelberg.de/titel/3500553   QR-Code
zum Seitenanfang