>> Google Books
タイトル、所在を表示します

Action semantics

フォーマット:
図書
責任表示:
Peter D. Mosses
言語:
英語
出版情報:
Cambridge : Cambridge University Press, c1992
形態:
xx, 372 p. ; 26 cm
著者名:
Mosses, Peter D. <DA0676798X>  
シリーズ名:
Cambridge tracts in theoretical computer science ; 26 <BA01121831>
書誌ID:
BA18235482
ISBN:
9780521403474 [0521403472]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 CASL reference manual : the complete documentation of the Common Algebraic Specification Language

Mosses, Peter D.

Springer
7 図書 Algorithms and data structures : the basic toolbox

Mehlhorn, Kurt, 1949-, Sanders, Peter

Springer
2 図書 Programming language semantics : imperative and object-oriented languages

Kirkerud, Bjørn

International Thomson Computer Press
8 図書 Computer dictionary for everyone

Spencer, Donald D.

Charles Scribner
3 図書 Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules

Hesselink, Wim H.

Cambridge University Press
9 図書 Abstraction and modelling

Bjørner, D. (Dines), 1937-

Springer
4 図書 Java precisely

Sestoft, Peter

The MIT Press
10 図書 Specification of systems and languages

Bjørner, D. (Dines), 1937-

Springer
5 図書 Functional programming, concurrency, simulation and automated reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada

Lauer, Peter E

Springer-Verlag
11 図書 Elements of computer security

Salomon, D. (David), 1938-

Springer
6 図書 Recent trends in algebraic development techniques : 14th International Workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers

WADT, Bert, Didier, Choppy, C. (Christine), Mosses, Peter D.

Springer
12 図書 Exact exponential algorithms

Fomin, Fedor V., Kratsch, D. (Dieter)

Springer