close
1.

電子ブック
ＥＢ
1. Testing Techniques in Software Engineering : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
edited by Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6153
オンライン: http://dx.doi.org/10.1007/978-3-642-14335-9
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
edited by Ana Cavalcanti, Dennis R. Dams
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5850
オンライン: http://dx.doi.org/10.1007/978-3-642-05089-3
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Formal Methods and Software Engineering : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings
edited by Karin Breitman, Ana Cavalcanti
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5885
オンライン: http://dx.doi.org/10.1007/978-3-642-10373-5
所蔵情報: loading…