Go to main content

Formal methods and software engineering [electronic resource] : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings / Kazuhiro Ogata, Mark Lawford, Shaoying Liu (eds.).

International Conference on Formal Engineering Methods (18th : 2016 : Tokyo, Japan); Ogata, Kazuhiro, editor.; Lawford, Mark, editor.; Liu, Shaoying, 1960- editor.
2016
QA76.9.F67
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
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks

Details

Title
Formal methods and software engineering [electronic resource] : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings / Kazuhiro Ogata, Mark Lawford, Shaoying Liu (eds.).
Meeting Name
International Conference on Formal Engineering Methods (18th : 2016 : Tokyo, Japan)
ISBN
9783319478463 (electronic book)
331947846X (electronic book)
9783319478456
DOI
https://doi.org/10.1007/978-3-319-47846-3
Published
Cham, Switzerland : Springer, 2016.
Language
English
Description
1 online resource (xvii, 486 pages) : illustrations.
Item Number
10.1007/978-3-319-47846-3 doi
Call Number
QA76.9.F67
Dewey Decimal Classification
004.01/51
Note
Includes author index.
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Digital File Characteristics
text file PDF
Source of Description
Description based on print version record.
Added Author
Ogata, Kazuhiro, editor.
Lawford, Mark, editor.
Liu, Shaoying, 1960- editor.
Series
Lecture notes in computer science ; 10009.
LNCS sublibrary. SL 2, Programming and software engineering.
Available in Other Form
Print version: 9783319478456
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
Abstraction, refinement and evolution
Formal specification and modeling
Program analysis
Formal verification
Model checking
Formal approaches to software testing and inspection
Formal methods for self-adaptive systems
Formal methods for object-oriented systems
Formal methods for component-based systems
Tool development, integration and experiments involving verified systems
Formal model-based development and code generation. .

Browse Subjects

Show more subjects...

Statistics

from
to
Export