Leveraging applications of formal methods, verification and validation [electronic resource] : specialized techniques and applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings. Part I / edited by Tiziana Margaria, Bernhard Steffen.
2014
TJ211.45
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Cite
Citation
Linked e-resources
Linked Resource
Details
Title
Leveraging applications of formal methods, verification and validation [electronic resource] : specialized techniques and applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings. Part I / edited by Tiziana Margaria, Bernhard Steffen.
Meeting Name
ISBN
9783662452349 electronic book
3662452340 electronic book
9783662452332
3662452340 electronic book
9783662452332
Published
Heidelberg : Springer, 2014.
Language
English
Description
1 online resource (xviii, 547 pages) : illustrations.
Item Number
10.1007/978-3-662-45234-9 doi
Call Number
TJ211.45
Dewey Decimal Classification
629.8/9251
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 October 10, 2014).
Series
Lecture notes in computer science ; 8802.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources
Record Appears in