>> Google Books
所蔵情報QRコード

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. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 2589 <BA00009279>
著者名:
ISBN:
9783540006244 [3540006249]
書誌ID:
BA61331741
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 電子ブック Abstract State Machines 2003

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

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
7 電子ブック Abstract State Machines, Alloy, B, VDM, and Z

Hutchison, David, Kanade, Takeo, Fitzgerald, John, Gnesi, Stefania, Khurshid, Sarfraz, Leuschel, Michael, Reeves, Steve, …

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 図書 Abstract state machines 2004 : advances in theory and practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : …

ASM, Zimmermann, Wolf, Thalheim, B. (Bernhard), 1952-

Springer
8 電子ブック Abstract State Machines, B and Z

Börger, Egon, Boca, Paul, Bowen, Jonathan P., Butler, Michael, Kanade, Takeo

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 図書 Abstract state machines : theory and applications : International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000 : proceedings

ASM, Gurevich, Yuri

Springer-Verlag
9 図書 The food, GI-tract functionality and human health cluster : PROEUHEALTH : abstracts and posters : 2nd workshop, Taormina, Italy, 3-5 March 2003 (soft back)

PROEUHEALTH, Kuokka, Annemari, Saarela, Maria, Mattila-Sandholm, Tiina, VTT Biotechnology

Technical Research Centre of Finland
4 電子ブック Abstract State Machines 2004. Advances in Theory and Practice

ASM 2004, Thalheim, Bernhard, Zimmermann, Wolf

SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
10 図書 Computation theory and logic (: gw ; : us)

Börger, Egon, 1946-

Springer-Verlag
5 図書 Logic and machines : decision problems and complexity : proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für … (: gw ; : us)

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

Springer-Verlag
11 図書 Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers (: gw ; : us)

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

Springer-Verlag
6 電子ブック Abstract state machines : a method for high-level system design and analysis (: electronic bk)

Börger, Egon, 1946-, Stärk, Robert F., 1963-

Springer
12 図書 Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October, 7-11, 1991 : proceedings (: gw ; : us)

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

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