Understanding Z : a specification language and its formal semantics

Understanding Z : a specification language and its formal semantics

J.M. Spivey

Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1988

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

007.64-Sp5

10005023582

一般図書

詳細情報

刊年

1988

形態

viii, 131 p. ; 26 cm

シリーズ名

Cambridge tracts in theoretical computer science ; v. 3

注記

Includes bibliographies and index

出版国

イギリス

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Spivey, J. M.

分類

LCC:QA76.73.Z2

DC19:005.13/3

件名

Z (Computer program language)

Programming languages (Electronic computers) -- Semantics

ISBN

0521334292

NCID

BA03432741

番号

LCCN : 87033841