Formal Methods: Foundations and Applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
| Author/creator | Davies, Jim Editor |
| Other author | Silva, Leila Editor |
| Other author | Simao, Adenilso Editor |
| Format | Electronic |
| Publication Info | New York : Springer |
| Description | viii, 291 p. ill |
| Supplemental Content | Full text available from Springer Nature - Springer Computer Science eBooks 2011 English International |
| Supplemental Content | Full text available from Springer Books |
| Supplemental Content | Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present) |
| Subjects |
| Series | Lecture Notes in Computer Science / Programming and Software Engineering Ser. |
| Summary | Annotation This book constitutes the thoroughly refereed post-conferenceproceedings of the 13th Brazilian Symposium on Formal Methods, SBMF2010, held in Natal, Brazil, in November 2010.The 18 revised full papers were carefully reviewed and selected from55 submissions. The papers presented cover a broad range of foundationaland methodological issues in formal methods for the design and analysisof software and hardware systems as well as applications in variousdomains. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 2011922662 |
| ISBN | 9783642198281 |
| ISBN | 3642198287 (Trade Paper) Active Record |
| Standard identifier# | 9783642198281 |
| Stock number | 3642198287 00024965 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |