Abstract state machines : theory and applications : International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000 : proceedings

フォーマット:
図書
責任表示:
Yuri Gurevich ... [et al.] (eds.)
言語:
英語
出版情報:
Berlin : Springer-Verlag, c2000
形態:
x, 379 p. : ill. ; 24 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 1912 <BA00009279>
書誌ID:
BA48362784
ISBN:
9783540679592 [3540679596]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information

類似資料:

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

ASM, Börger, E. (Egon), 1946-, Gargantini, Angelo, 1969-, Riccobene, Elvinia, 1964-

Springer

International Colloquium on Automata, Languages and Programming, Kuich, Werner, 1941-, European Association for &hellip;

Springer-Verlag

International Colloquium on Automata, Languages and Programming, Montanari, U. (Ugo), Rolim, José D. P., Welzl, Emo

Springer

ACM Symposium on Theory of Computing, ACM Special Interest Group for Algorithms and Computation Theory

ACM

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

Springer-Verlag

International Conference on Concurrency Theory, Baeten, J. C. M., Groote, J. F. (Jan Frisco), 1965-, Centrum voor &hellip;

Springer-Verlag

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

Springer

International FCT-Conference, Karpiński, Marek, 1948-, Universitetet i Linköping. Dept. of Computer and Information &hellip;

Springer-Verlag

Brauer, Wilfried, 1937-, Reisig, Wolfgang, 1950-, Rozenberg, Grzegorz

Springer-Verlag

International Workshop on Computational Geometry CG, Bieri, H. (Hanspeter), 1943-, Noltemeier, Hartmut, 1940-

Springer-Verlag