Abstract state machines 2003 : advances in theory and practice : 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003 : proceedings

フォーマット:
図書
責任表示:
Egon Börger, Angelo Gargantini, Elvinia Riccobene (eds.)
言語:
英語
出版情報:
Berlin ; Tokyo : Springer, c2003
形態:
xi, 424 p. : ill. ; 24 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 2589 <BA00009279>
書誌ID:
BA61331741
ISBN:
9783540006244 [3540006249]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information

類似資料:

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

International Colloquium on Automata, Languages and Programming, Ausiello, Giorgio, 1941-, Dezani-Ciancaglini, &hellip;

Springer-Verlag

Symposium "Rekursive Kombinatorik", Börger, Egon, 1946-, Hasenjaeger, G. (Gisbert), 1919-, Rödding, D. (Dieter), 1937-

Springer-Verlag

Symposium on Mathematical Foundations of Computer Science, Bečvář, J., 1926-

Springer-Verlag

Workshop on Computer Science Logic, Börger, Egon, 1946-

Springer-Verlag

International Colloquium on Automata, Languages and Programming, European Association for Theoretical Computer Science, &hellip;

Springer

International Colloquium on Automata, Languages and Programming, European Association for Theoretical Computer Science, &hellip;

Springer

Workshop on Computer Science Logic, Börger, Egon, 1946-, Gurevich, Yuri, Meinke, K. (Karl)

Springer-Verlag

European Workshop on Applications and Theory of Petri Nets, Pagnoni, Anastasia, 1946-, Rozenberg, Grzegorz

Springer-Verlag

International Workshop on Compiler Construction, Wilhelm, Reinhard, 1946-, European Conferences on Theory and Practice &hellip;

Springer

Workshop on Computer Science Logic, Börger, Egon, 1946-

Springer-Verlag

Symposium on Mathematical Foundations of Computer Science, Mazurkiewicz, Antoni, Polska Akademia Nauk. Centrum &hellip;

Springer-Verlag