System analysis and modeling : 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004 : revised selected papers | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

System analysis and modeling : 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004 : revised selected papers / Daniel Amyot, Alan W. Williams (eds.)

資料種別:

図書

出版情報:

Berlin : Springer, c2005

形態:

xii, 300 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 3319 <BA00009279>

著者名:

ISBN:

9783540245612 [3540245618]

書誌ID:

BA71363573

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographical references and index
主題:	Electronic data processing--Distributed processing--Congresses; Interactive computer systems--Congresses; Real-time data processing--Congresses; System analysis--Congresses
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 電子ブック System Analysis and Modeling SAM 2004, Amyot, Daniel, Kanade, Takeo, Williams, Alan W. Springer eBooks Computer Science, Springer Berlin / Heidelberg	7 図書 Interactive systems : design, specification, and verification : 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers DSV-IS, Palanque, P. (Philippe), Paternó, Fabio, 1960- Springer
2 図書 Proceedings, Eighth IEEE International Symposium on Distributed Simulation and Real-Time Applications : Budapest, Hungary, October 21-23, 2004 IEEE International Symposium on Distributed Simulation and Real-Time Applications, Turner, Stephen J., Roberts, David … IEEE Computer Society	8 図書 Interactive systems : design, specification, and verification : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003 : … DSV-IS, Jorge, Joaquim A., Nunes, Nuno Jardim, Cunha, João Falcão e Springer
3 電子ブック System Analysis and Modeling SAM 2004, Amyot, Daniel, Kanade, Takeo, Williams, Alan W., Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg	9 図書 Interactive systems : design, specification, and verification : 8th International Workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13-15, 2001 : revised … DSV-IS, Johnson, Chris Springer
4 図書 Telecommunications and beyond : the broader applicability of SDL and MSC : Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002 : revised … SAM, Sherratt, Edel Springer	10 図書 System analysis and modeling : language profiles : 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006 : revised selected … SAM, Gotzhein, Reinhard, Reed, Rick Springer
5 図書 Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, … International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, Bertran, Miquel, Rus, Teodor Springer	11 図書 Systems analysis applied to management of water resources : selected papers from the 4th IFAC symposium, Rabat, Morocco, 11-13 October 1988 International Symposium on Systems Analysis Applied to Management of Water Resources, Jellali, M., International … Published for the International Federation of Automatic Control by Pergamon Press
6 図書 Interactive systems : design, specification, and verification : 9th International Workshop, DSV-IS 2002, Rostock, Germany, June 12-14, 2002 : revised papers DSV-IS, Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean Springer	12 図書 Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings International Conference on Algebraic Methodology and Software Technology, Katoen, Joost-Pieter Springer

1

2

3

4

5

6

7

8

9

10

11

12