Formal aspects of component software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 : revised selected papers / Corina S. Păsăreanu, Gwen Salaün (eds.).
| Author/creator | FACS (Symposium) |
| Other author | Păsăreanu, Corina S. |
| Other author | Salaün, G. (Gwen) |
| Format | Electronic |
| Publication Info | Berlin : Springer-Verlag, [2013] |
| Description | x, 276 pages : illustrations (black and white) ; 24 cm. |
| Supplemental Content | Full text available from Springer Books |
| Supplemental Content | Full text available from Springer Nature - Springer Computer Science eBooks 2013 English International |
| Supplemental Content | Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present) |
| Subjects |
| Spine title | FACS 2012 |
| Series | Lecture notes in computer science, 0302-9743 ; 7684 LNCS sublibrary. SL 2, Programming and software engineering |
| Bibliography note | Includes bibliographical references and index. |
| Access restriction | Available only to authorized users. |
| Other forms | Also issued online. |
| Technical details | Mode of access: World Wide Web |
| Terms of use | Current copyright fee: GBP19.00 42\0. |
| Genre/form | Electronic books. |
| LCCN | 2012954531 |
| ISBN | 9783642358609 (pbk.) |
| ISBN | 3642358608 (pbk.) |
| ISBN | (e-ISBN) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |