Formal Methods for Components and Objects

フォーマット:
電子ブック
責任表示:
FMCO 2002 ; Boer, Frank S. de
言語:
英語
出版情報:
Springer Berlin Heidelberg, 2003
著者名:
ISBN:
9783540203032 [3540203036]  CiNii Books  Webcat Plus  Google Books
9783540396567 [354039656X]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
オンライン
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

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

GPCE 2002, Batory, Don S., Consel, Charles, Taha, Walid

Springer Berlin Heidelberg

FMCO 2003

Springer Berlin / Heidelberg

Apt, Krzysztof R., Boer, Frank S., Olderog, Ernst-Rüdiger

Springer London

Olaf Owe, Krogdahl, Stein, Lyche, Tom, Owe, Olaf

Springer Berlin Heidelberg

Lundquist, Frank, Curry, Alan S.

John Wiley & Sons

NODe 2002, Akşit, Mehmet, Mezini, Mira, Unland, Rainer

Springer Berlin Heidelberg

van der Aalst, Will, Meyer, Bertrand, Mylopoulos, John, Oriol, Manuel

Springer Berlin Heidelberg

International Conference on Formal Methods for Open Object-Based Distributed Systems, Najm, Elie, Nestmann, Uwe, …

Springer Berlin Heidelberg

van der Aalst, Will, Meyer, Bertrand, Mylopoulos, John, Paige, Richard F.

Springer Berlin Heidelberg

FMCAD 2002, Aagaard, Mark, O'Leary, John W.

Springer Berlin Heidelberg

Goos, Gerhard; Hartmanis, Juris; van Leeuwen, Jan, Aichernig, Bernhard K., Maibaum, Thomas S. E., International …

Springer Berlin Heidelberg