FM 2012: formal methods 18th International Symposium, Paris, France, August 27-31, 2012. proceedings /
This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. T...
保存先:
| 団体著者: | |
|---|---|
| その他の著者: | , |
| フォーマット: | eBook |
| 言語: | English |
| 出版事項: |
Berlin, Heidelberg
Imprint: Springer
2012.
|
| シリーズ: | Lecture notes in Computer Science
7436 |
| 主題: | |
| オンライン･アクセス: | Click here to view the full text content |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
システム保守作業中
現在、図書館管理システムは保守作業中です。
現在、予約と貸出情報の閲覧は利用できません。ご不便をおかけし大変申し訳ありません。詳細は担当にご連絡ください: