Formal methods : foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings / Leila Ribeiro, Thierry Lecomte (eds.).
2016
QA76.9.F67
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Cite
Citation
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Formal methods : foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings / Leila Ribeiro, Thierry Lecomte (eds.).
ISBN
9783319498157 (electronic book)
3319498150 (electronic book)
9783319498140
3319498150 (electronic book)
9783319498140
Published
Cham, Switzerland : Springer, 2016.
Language
English
Description
1 online resource (x, 253 pages) : illustrations.
Item Number
10.1007/978-3-319-49815-7 doi
Call Number
QA76.9.F67
Dewey Decimal Classification
004.01/51
Note
International conference proceedings.
Includes author index.
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed November 22, 2016).
Added Author
Series
Lecture notes in computer science ; 10090.
LNCS sublibrary. SL 2, Programming and software engineering.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Record Appears in