Formal Methods for Mobile Computing : 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

>> Google Books

Formal Methods for Mobile Computing : 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

フォーマット:

電子ブック

責任表示:

edit

言語:

英語

出版情報:

Berlin Heidelberg : Springer-Verlag GmbH., 2005

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 3465

書誌ID:

NB02217712

ISBN:

9783540320210 [3540320210]

学内からのみアクセスすることができます。

子書誌情報

オンライン

http://dx.doi.org/10.1007/b135888

所蔵情報

タイトルが類似している資料

詳細

主題:	Computer Communication Networks; Computer Science; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Software Engineering; Special Purpose and Application-Based Systems
分類・件名:	LCSH : Computer Communication Networks LCSH : Computer science LCSH : Software engineering LCSH : Logic design FREE : Computer Communication Networks FREE : Logics and Meanings of Programs FREE : Programming Languages, Compilers, Interpreters FREE : Software Engineering FREE : Special Purpose and Application-Based Systems FREE : Computer Science
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Formal Methods for Computational Systems Biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, … Bernardo, Marco, Degano, Pierpaolo, Zavattaro, Gianluigi, SpringerLink (Online service) Springer-Verlag	7 電子ブック Computer Performance Engineering : 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings Aldini, Alessandro, Bernardo, Marco, Bononi, Luciano, Cortellessa, Vittorio, SpringerLink (Online service) Springer-Verlag Heidelberg
2 電子ブック Formal Methods for Hardware Verification : 6th International School on Formal Methods for the Design of Computer Communication and Software Systems SFM 2006 … Bernardo Marco, Cimatti Alessandro, SpringerLink (Online service) Springer-Verlag GmbH.	8 電子ブック Formal Methods for Industrial Critical Systems : 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers Cofer, Darren, Fantechi, Alessandro, SpringerLink (Online service) Springer Berlin Heidelberg
3 電子ブック Formal Methods for Performance Evaluation : 7th International School on Formal Methods for the Design of Computer Communication and Software Systems SFM 2007 … Bernardo Marco, Hillston Jane, SpringerLink (Online service) Springer-Verlag	9 電子ブック Formal Methods for Industrial Critical Systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings Salaün, Gwen, Schätz, Bernhard, SpringerLink (Online service) Springer-Verlag GmbH Berlin Heidelberg
4 電子ブック Formal Methods for Quantitative Aspects of Programming Languages : 10th International School on Formal Methods for the Design of Computer, Communication and … Aldini, Alessandro, Bernardo, Marco, Pierro, Alessandra, Wiklicky, Herbert, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg	10 電子ブック Advanced Lectures on Software Engineering : LASER Summer School 2007/2008 Muller, Peter, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg
5 電子ブック Formal Methods for Eternal Networked Software Systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software … Bernardo, Marco, Issarny, Valérie, SpringerLink (Online service) Springer Berlin Heidelberg	11 電子ブック Formal Methods for Industrial Critical Systems : 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings Kowalewski, Stefan, Roveri, Marco, SpringerLink (Online service) Springer Berlin Heidelberg
6 電子ブック Formal Methods for Web Services : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, … Hutchison, David, Zavattaro, Gianluigi, Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, … Springer Berlin Heidelberg	12 電子ブック Formal Modeling and Analysis of Timed Systems (vol. # 3829) : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings Pettersson, Paul, Yi, Wang, SpringerLink (Online service) Springer-Verlag GmbH.