Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings /

Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings /

Show other versions (1)

This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Cerone, Antonio (Editor, http://id.loc.gov/vocabulary/relators/edt), de Boer, Frank (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Book
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2020
Edition:1st ed. 2020
Series:Computer Science (SpringerNature-11645)
LNCS sublibrary Theoretical computer science and general issues 12310
Theoretical Computer Science and General Issues ; 12310
Subjects:
Artificial intelligence
Computer hardware
Computer programs-Testing
Computers
Computers, Special purpose
Software engineering
Special purpose computers
Software Engineering
Software Testing
Artificial Intelligence
Computer Hardware
Special Purpose and Application-Based Systems
Electronic books

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Duke University

Holdings details from Duke University
Call Number: ISIL:US-NCD

Similar Items