Understanding Z : a specification language and its formal semantics

フォーマット:
図書
責任表示:
J.M. Spivey
言語:
英語
出版情報:
Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1988
形態:
viii, 131 p. ; 26 cm
著者名:
Spivey, J. M. <DA02323758>  
シリーズ名:
Cambridge tracts in theoretical computer science ; v. 3 <BA01121831>
書誌ID:
BA03432741
ISBN:
9780521334297 [0521334292]
子書誌情報
Loading
所蔵情報
Loading availability information

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

Clifford, James

Cambridge University Press

Allison, Lloyd

Cambridge University Press

Manes, Ernest G., 1943-

Cambridge University Press

Guttag, John, Horning, J. J. (James J.)

Springer-Verlag

Dijkstra, Edsger Wybe, 1930-, Scholten, Carel S.

Springer-Verlag

Oest, O. N., Bjørner, D. (Dines), 1937-

Springer-Verlag

Feijs, L. M. G. (Loe M. G.), Jonkers, H. B. M.

Cambridge University Press

Manes, Ernest G., 1943-, Arbib, Michael A., 1940-

Springer-Verlag