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 |