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
Linked e-resources
Linked Resource
Online Access
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
ISoLA (Symposium) (6th : 2014 : Kerkyra, Greece)
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
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources