Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

フォーマット:

電子ブック

責任表示:

edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever

言語:

英語

出版情報:

Berlin, Heidelberg : Springer, 2008

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 5382

書誌ID:

NB02219671

ISBN:

9783540921882 [3540921885]

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

子書誌情報

オンライン

http://dx.doi.org/10.1007/978-3-540-92188-2

所蔵情報

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

詳細

主題:	Computer Science; Logics and Meanings of Programs; Operating Systems; Programming Languages, Compilers, Interpreters; Software Engineering
分類・件名:	FREE : Computer Science LCSH : Operating systems (Computers) LCSH : Software engineering FREE : Logics and Meanings of Programs FREE : Operating Systems FREE : Programming Languages, Compilers, Interpreters FREE : Software Engineering LCSH : Computer science LCSH : Logic design
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Formal Methods for Components and Objects (vol. # 3657) : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised … Bonsangue, Marcello M., de Boer, Frank S., Graf, Susanne, de Roever, Willem-Paul, SpringerLink (Online service) Springer-Verlag GmbH.	7 電子ブック Middleware 2008 : ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings Hutchison, David, Pandu Rangan, C., Kleinberg, Jon M., Issarny, Valerie, Kittler, Josef, Weikum, Gerhard, Mattern, … Springer
2 電子ブック Formal Methods for Components and Objects (vol. 4111) : 4th International Symposium FMCO 2005 Amsterdam The Netherlands November 1-42005 Revised Lectures de Boer Frank S., Bonsangue Marcello M., Graf Susanne, de Roever Willem-Paul, SpringerLink (Online service) Springer-Verlag GmbH.	8 電子ブック Methods, Models and Tools for Fault Tolerance Hutchison, David, Mitchell, John C., Kittler, Josef, Romanovsky, Alexander, Pandu Rangan, C., Steffen, Bernhard, … Springer Berlin Heidelberg
3 電子ブック Formal Methods for Components and Objects : 5th International Symposium FMCO 2006 Amsterdam The Netherlands November 7-102006 Revised Lectures Boer Frank S., Roever Willem-Paul, Graf Susanne, Bonsangue Marcello M., SpringerLink (Online service) Springer-Verlag	9 電子ブック Requirements Engineering: Foundation for Software Quality : 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 … Hutchison, David, Terzopoulos, Demetri, Kanade, Takeo, Heymans, Patrick, Glinz, Martin, Weikum, Gerhard, Vardi, Moshe … Springer Berlin Heidelberg
4 電子ブック Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers Boer, Frank S., Bonsangue, Marcello M., Hallerstede, Stefan, Leuschel, Michael, SpringerLink (Online service) Springer Berlin Heidelberg	10 電子ブック Secure Data Management : 5th VLDB Workshop, SDM 2008, Auckland, New Zealand, August 24, 2008. Proceedings Hutchison, David, Jonker, Willem, Weikum, Gerhard, Vardi, Moshe Y., Tygar, Doug, Terzopoulos, Demetri, Kleinberg, Jon … Springer-Verlag
5 電子ブック Formal Methods for Components and Objects : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures Boer, Frank S., Bonsangue, Marcello M., Madelaine, Eric, SpringerLink (Online service) Springer Berlin Heidelberg	11 電子ブック Integrated Formal Methods : 7th International Conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009. Proceedings Hutchison, David, Pandu Rangan, C., Wehrheim, Heike, Weikum, Gerhard, Vardi, Moshe Y., Tygar, Doug, Terzopoulos, … Springer Berlin Heidelberg
6 電子ブック Programming Languages and Systems : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings Hutchison, David, Kanade, Takeo, Vardi, Moshe Y., Tygar, Doug, Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, … Springer	12 電子ブック Advances in Software Engineering : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures Hutchison, David, Kanade, Takeo, Borger, Egon, Cisternino, Antonio, Sudan, Madhu, Steffen, Bernhard, Pandu Rangan, C., … Springer