Formal Methods for Quantitative Aspects of Programming Languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

>> Google Books

Formal Methods for Quantitative Aspects of Programming Languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

フォーマット:

電子ブック

責任表示:

edited by Alessandro Aldini, Marco Bernardo, Alessandra Pierro, Herbert Wiklicky

言語:

英語

出版情報:

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 6154

書誌ID:

NB02223824

ISBN:

9783642136788 [3642136788]

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

子書誌情報

オンライン

http://dx.doi.org/10.1007/978-3-642-13678-8

所蔵情報

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

詳細

主題:	Antibodies; Computer Science; Information Systems Applications (incl.Internet); Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Software Engineering; Software Engineering/Programming and Operating Systems
分類・件名:	LCSH : Computer science LCSH : Monoclonal antibodies LCSH : Software engineering LCSH : Information systems FREE : Computer Science FREE : Software Engineering FREE : Software Engineering/Programming and Operating Systems FREE : Antibodies FREE : Mathematical Logic and Formal Languages FREE : Programming Languages, Compilers, Interpreters FREE : Information Systems Applications (incl.Internet)
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック 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	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 Mobile Computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, … Bernardo, Marco, Bogliolo, Alessandro, SpringerLink (Online service) Springer-Verlag GmbH.	8 電子ブック ECOOP 2010 – Object-Oriented Programming : 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings D’Hondt, Theo, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg
3 電子ブック 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	9 電子ブック Interactive Theorem Proving : First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings Kaufmann, Matt, Paulson, Lawrence C., SpringerLink (Online service) Springer-Verlag Berlin Heidelberg
4 電子ブック 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	10 電子ブック Mathematics of Program Construction : 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings Bolduc, Claude, Desharnais, Jules, Ktari, Béchir, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg
5 電子ブック 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.	11 電子ブック Teaching Formal Methods : Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings Gibbons, Jeremy, Oliveira, Jose Nuno, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg
6 電子ブック 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	12 電子ブック Formal Methods and Software Engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. … Dong, Jin Song, Zhu, Huibiao, SpringerLink (Online service) Springer Berlin Heidelberg