Integrated Formal Methods : 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings / Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa (eds.).
2019
QA76.758
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
Integrated Formal Methods : 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings / Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa (eds.).
ISBN
9783030349684 (electronic book)
3030349683 (electronic book)
9783030349677
3030349683 (electronic book)
9783030349677
Published
Cham : Springer, 2019.
Language
English
Description
1 online resource (xvii, 554 pages) : illustrations.
Item Number
10.1007/978-3-030-34
Call Number
QA76.758
Dewey Decimal Classification
005.1
Summary
This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included are the extended abstracts of 6 "journal-first" papers.
Note
International conference proceedings.
Includes author index.
Includes author index.
Access Note
Access limited to authorized users.
Added Author
Ahrendt, Wolfgang.
Tapia Tarifa, Silvia Lizeth.
Tapia Tarifa, Silvia Lizeth.
Series
Lecture notes in computer science ; 11918.
Lecture notes in computer science. Formal methods.
LNCS sublibrary. SL 2, Programming and software engineering.
Lecture notes in computer science. Formal methods.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources