Abstract State Machines - Theory and Applications

フォーマット:
電子ブック
責任表示:
Yuri Gurevich ; Gurevich, Yuri
言語:
英語
出版情報:
Springer Berlin Heidelberg, 2000
著者名:
ISBN:
9783540679592 [3540679596]  CiNii Books  Webcat Plus  Google Books
9783540445180 [3540445188]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
オンライン
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

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

ASM 2004, Thalheim, Bernhard, Zimmermann, Wolf

Springer Berlin / Heidelberg

Kuznetsov, Yuri A.

Springer

2 電子ブック Abstract State Machines 2003

ASM 2003, Börger, Egon, Gargantini, Angelo, Riccobene, Elvinia

Springer Berlin Heidelberg

Childs, Thomas

Arnold, J. Wiley

Landsberg, Peter Theodore, Evans, D. A.

Wiley-Interscience

Hanson, Hanson, Stephen José, Remmele, Werner, Rivest, Ronald L.

Springer Berlin Heidelberg

Malkin, S. (Stephen), 1941-, Guo, Changsheng, 1959-

Industrial Press

Boerger, Egon, 1946-, Grädel, Erich, 1958-, Gurevich, Yuri

Springer

12 電子ブック Computer Science Logic

Workshop on Computer Science Logic, Börger, Egon, Gurevich, Yuri, Meinke, Karl

Springer Berlin Heidelberg