Formal methods and software engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings / Zhenhua Duan, Luke Ong (eds.).
2017
QA76.9.F67
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 and software engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings / Zhenhua Duan, Luke Ong (eds.).
Meeting Name
ISBN
9783319686905 (electronic book)
3319686909 (electronic book)
9783319686899
3319686909 (electronic book)
9783319686899
Published
Cham, Switzerland : Springer, 2017.
Language
English
Description
1 online resource (xvii, 498 pages) : illustrations.
Item Number
10.1007/978-3-319-68690-5 doi
Call Number
QA76.9.F67
Dewey Decimal Classification
004.01/51
Note
International conference proceedings.
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed October 23, 2017).
Added Author
Series
Lecture notes in computer science ; 10610.
LNCS sublibrary. SL 2, Programming and software engineering.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Record Appears in