Mendeley出力
Formal Methods for Industrial Critical Systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings / edited by Gwen Salaün, Bernhard Schätz
(Lecture Notes in Computer Science ; 6959)
| データ種別 | 電子ブック |
|---|---|
| 著者標目 | *Salaün, Gwen Schätz, Bernhard SpringerLink (Online service) |
| 出版情報 | Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011 |
書誌詳細を非表示
| 巻次 | ISBN:9783642244315 |
|---|---|
| 大きさ | v.: digital |
| 本文言語 | 英語 |
| 件 名 | LCSH:Computer science LCSH:Software engineering LCSH:Logic design FREE:Computer Science FREE:Software Engineering FREE:Logics and Meanings of Programs FREE:Programming Languages, Compilers, Interpreters FREE:Special Purpose and Application-Based Systems FREE:Programming Techniques FREE:Mathematical Logic and Formal Languages |
| 書誌ID | OB00005551 |
| ISBN | 9783642244315 |
| NCID | LB40006215 |