Go to main content

Software engineering and formal methods [electronic resource] : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings / Dimitra Giannakopoulou, Gwen Salaün (eds.).

International Conference on Software Engineering and Formal Methods (12th : 2014 : Grenoble, France); Giannakopoulou, Dimitra, editor.; Salaün, G. (Gwen), editor.
2014
QA76.758
Available Online
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Add to Basket
Cite
Citation

Linked e-resources

Linked Resource
Online Access

Details

Title
Software engineering and formal methods [electronic resource] : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings / Dimitra Giannakopoulou, Gwen Salaün (eds.).
Meeting Name
International Conference on Software Engineering and Formal Methods (12th : 2014 : Grenoble, France)
ISBN
9783319104317 electronic book
3319104314 electronic book
9783319104300
DOI
https://doi.org/10.1007/978-3-319-10431-7
Published
Cham : Springer, 2014.
Language
English
Description
1 online resource (xxii, 394 pages) : illustrations.
Item Number
10.1007/978-3-319-10431-7 doi
Call Number
QA76.758
Dewey Decimal Classification
005.1
Note
International conference proceedings.
Bibliography, etc. Note
Includes bibliographical references and author index.
Access Note
Access limited to authorized users.
Source of Description
Description based on online resource; title from PDF title page (SpringerLink, viewed August 19, 2014).
Added Author
Giannakopoulou, Dimitra, editor.
Salaün, G. (Gwen), editor.
Series
Lecture notes in computer science ; 8702.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
Program Verification
Testing
Component-Based Systems
Real-Time and Embedded Systems
Model Checking and Automata Learning
Tool Papers
Program Correctness
Adaptive and Multi-Agent Systems.

Browse Subjects

Show more subjects...

Statistics

from
to
Export