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

Formal methods for software architectures : third International School on Formal Methods for the Design of Computer, Communication, and Software Systems : Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures / Marco Bernardo, Paola Inverardi (eds.)

資料種別:
図書
出版情報:
Berlin ; Tokyo : Springer, c2003
形態:
vi, 285 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 2804 <BA00009279>
著者名:
ISBN:
9783540200833 [3540200835]
書誌ID:
BA6383438X
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

International School on Formal Methods for the Design of Computer, Communication and Software Systems, Bernardo, Marco, …

Springer

Workshop on Mathematical Methods of Specification and Synthesis of Software Systems, Bibel, Wolfgang, 1938-, Jantke, …

Springer-Verlag

International School on Formal Methods for the Design of Computer, Communication and Software Systems, Bernardo, Marco, …

Springer

International Conference on Human-Computer Interaction, Salvendy, Gavriel, 1938-, Smith, Michael J. (Michael James), …

Elsevier

International School on Formal Methods for the Design of Computer, Communication and Software Systems, Bernardo, Marco, …

Springer

Fitzgerald, John, 1965-

Springer

Pollard, L. Howard

Prentice Hall

Bernardo, Marco, Issarny, Valérie, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Dasgupta, Subrata

Wiley

Encarnação, José Luis, 1941-, Lindner, Rolf, Schlechtendahl, E. G. (Ernst G.), 1938-

Springer-Verlag

Shanley, Tom, MindShare, Inc

Addison-Wesley

Lano, R. J.

North-Holland Pub. Co. : sole distributors for the U.S.A. and Canada, Elsevier North-Holland Pub. Co.

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