Formal Methods for Mobile Computing | 東京工業大学附属図書館蔵書検索

>> Google Books

Formal Methods for Mobile Computing / Communication, and Software Systems International School on Formal Methods for the Design of Computer, Marco Bernardo, Alessandro Bogliolo, Takeo Kanade

資料種別:

電子ブック

出版情報:

Springer eBooks Computer Science
Springer Berlin / Heidelberg, 2005

著者名:

ISBN:

9783540256977 [3540256970]
9783540320210 [3540320210]

書誌ID:

OB00352899

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

書誌詳細

その他の標題:	5TH INTERNATIONAL SCHOOL ON FORMAL METHODS FOR THE DESIGN OF COMPUTER, COMMUNICATION, AND SOFTWARE SYSTEMS, SFM-MOBY 2005, BERTINORO, ITALY, APRIL 26-30, 2005, ADVANCED LECTURES
主題:	Information Technology - Software Engineering
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems : SFM-Moby … International School on Formal Methods for the Design of Computer, Communication and Software Systems, Bernardo, Marco, … Springer	7 図書 Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems : SFM … International School on Formal Methods for the Design of Computer, Communication and Software Systems, Bernardo, Marco, … Springer
2 電子ブック Formal Methods for Mobile Computing International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bernardo, Marco, … SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg	8 電子ブック Formal Methods for Quantitative Aspects of Programming Languages Aldini, Alessandro, Bernardo, Marco, Kanade, Takeo, Pierro, Alessandra, Wiklicky, Herbert Springer eBooks Computer Science, Springer Berlin Heidelberg
3 電子ブック Formal Methods for Eternal Networked Software Systems Bernardo, Marco, Issarny, Val?rie, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg	9 電子ブック Formal Methods for Computational Systems Biology Bernardo, Marco, Degano, Pierpaolo, Kanade, Takeo, Zavattaro, Gianluigi Springer eBooks Computer Science, Springer Berlin Heidelberg
4 電子ブック Formal Methods for Hardware Verification Bernardo, Marco, Cimatti, Alessandro, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg	10 電子ブック Formal Methods for Computational Systems Biology Bernardo, Marco, Degano, Pierpaolo, Kanade, Takeo, Zavattaro, Gianluigi SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
5 電子ブック Formal Methods for Eternal Networked Software Systems Bernardo, Marco, Issarny, Valérie, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 電子ブック Formal Methods for Quantitative Aspects of Programming Languages Aldini, Alessandro, Bernardo, Marco, Kanade, Takeo, Pierro, Alessandra, Wiklicky, Herbert, Di Pierro, Alessandra SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
6 電子ブック Formal Methods for Hardware Verification Bernardo, Marco, Cimatti, Alessandro, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	12 図書 Formal methods for software architectures : third International School on Formal Methods for the Design of Computer, Communication, and Software Systems : … International School on Formal Methods for the Design of Computer, Communication and Software Systems, Bernardo, Marco, … Springer

1

2

3

4

5

6

7

8

9

10

11

12