>> Google Books

Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules

フォーマット:
図書
責任表示:
Wim H. Hesselink
言語:
英語
出版情報:
Cambridge ; New York : Cambridge University Press, 1992
形態:
xii, 223 p. ; 26 cm
著者名:
Hesselink, Wim H. <DA07175192>  
シリーズ名:
Cambridge tracts in theoretical computer science ; 27 <BA01121831>
書誌ID:
BA14406674
ISBN:
9780521404365 [0521404363]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

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

Andrews, James H.

Cambridge University Press

GLASER, H, HANKIN, C

PRENTICE-HALL INTERNATIONAL

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

Springer-Verlag

BARSTOW, D. R, SHROBE, H. E

MCGRAW-HILL

Breugel, Franciscus Cornelus van, 1966-

Birkhauser Boston

MARCELLUS, D. H

PRENTICE HALL

BARRINGER, H

SPRINGER-VLG

Manes, Ernest G., 1943-

Cambridge University Press

MARCOTTY, M, LEDGARD, H

SPRINGER-VLG

Symposium on Partial Evaluation and Semantics-Based Program Manipulation, ACM SIGPLAN

Association for Computing Machinery