Theoretical Aspects of Computer Software

フォーマット:
電子ブック
責任表示:
Martín Abadi
言語:
英語
出版情報:
Springer Berlin Heidelberg, 1997
著者名:
Martín Abadi  
ISBN:
9783540633884 [354063388X]  CiNii Books  Webcat Plus  Google Books
9783540695301 [3540695303]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
オンライン
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

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

Ito

Springer Berlin Heidelberg

Bella, Giampaolo, Abadi, Martin

Springer Berlin Heidelberg

International Symposium TACS, Hagiya, Masami, Mitchell, John C.

Springer Berlin Heidelberg

Abadi, Martín, Cardelli, Luca

Springer

TACS 2001, Kobayashi, Naoki, Pierce, Benjamin C.

Springer Berlin Heidelberg

Thiagarajan, Thiagarajan, P. S.

Springer Berlin Heidelberg

Gholamreza B. Khosrovshahi, Khosrovshahi, Gholamreza B., Shokoufandeh, Ali, Shokrollahi, Amin

Springer Berlin Heidelberg

S. Ramesh, Ramesh, S., Sivakumar, G.

Springer Berlin Heidelberg

5 電子ブック Sécurité informatique

Martin Abadi

Collège de France

Goos, Gerhard; Hartmanis, Juris; van Leeuwen, Jan, Arvind, V., Ramanujam, R.

Springer Berlin Heidelberg

International Meeting of Young Computer Scientists, Dassow, Jürgen, Kelemen, Jozef

Springer Berlin Heidelberg

Conference on Foundations of Software Technology and Theoretical Computer Science, Pandu Rangan, C., Raman, Venkatesh, …

Springer Berlin Heidelberg