>> Google Books
From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security
フォーマット:
電子ブック
責任表示:
Wasserrab, Daniel
出版情報:
[S.l.] : KIT Scientific Publishing, 2011
書誌ID:
ST13039526
ISBN:
9783866445949 [3866445946]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料
1. From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security
Wasserrab, Daniel , KIT Scientific Publishing , 2011

類似資料:

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

Spivey, J. M.

Cambridge University Press

Guenthner, Franz, Schmidt, Siegfried J., 1940-

D. Reidel

Clifford, James

Cambridge University Press

Springer Verlag

Cambridge Colloquium on Formal Semantics of Natural Language, Keenan, Edward L. (Edward Louis), 1937-, King's College …

Cambridge University Press

Peters, Stanley, 1941-, Saarinen, Esa, 1953-

D. Reidel Pub. Co., Kluwer Boston [distributor]