>> Google Books
QRコード(所蔵情報)

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]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Formal semantics and pragmatics for natural language querying

Clifford, James

Cambridge University Press
7 図書 Predicate calculus and program semantics

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

Springer-Verlag
2 図書 Denotational semantics : the Scott-Strachey approach to programming language theory

Stoy, Joseph

MIT Press
8 図書 Predicate transformer semantics

Manes, Ernest G., 1943-

Cambridge University Press
3 図書 Larch : languages and tools for formal specification

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

Springer-Verlag
9 図書 Algebraic approaches to program semantics

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

Springer-Verlag
4 図書 Towards a formal description of Ada

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

Springer-Verlag
10 図書 Formal specification and design

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

Cambridge University Press
5 図書 Initial computability, algebraic specifications, and partial algebras

Reichel, Horst

Clarendon Press
11 図書 MetaSoft primer : towards a metalanguage for applied denotational semantics

Blikle, Andrzej

Springer-Verlag
6 図書 A practical introduction to denotational semantics

Allison, Lloyd

Cambridge University Press
12 図書 Truth, deduction, and computation : logic and semantics for computer science

Davis, Ruth E.

Computer Science Press