close
1.

電子ブック
ＥＢ
1. Formal Methods for Performance Evaluation : 7th International School on Formal Methods for the Design of Computer Communication and Software Systems SFM 2007 Bertinoro Italy May 28-June 2 2007 Advanced Lectures
edited by Marco Bernardo Jane Hillston
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4486
オンライン: http://dx.doi.org/10.1007/978-3-540-72522-0
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Formal Methods for Hardware Verification : 6th International School on Formal Methods for the Design of Computer Communication and Software Systems SFM 2006 Bertinoro Italy May 22-272006 Advances Lectures
edited
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3965
オンライン: http://dx.doi.org/10.1007/11757283
所蔵情報: loading…