Picture 1 of 1

Stock photo

Software Engineering and Formal Methods - 9783319929699 - Picture 1 of 1

Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings by Einar Broch Johnsen, Ina Schaefer (Paperback, 2018)

BOOKS etc. (527611)

99.5% positive Feedback

Price:

£38.57

Free postage

Estimated delivery Sat, 14 Jun - Sat, 21 Jun

Returns:

60 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.

Condition:

New

ISBN-13: 9783319929699, 978-3319929699. The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions.

About this product

Product Information

This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification; concurrency; program analysis; model checking and runtime verification; applications; and shape analysis and reuse.

Product Identifiers

PublisherSpringer International Publishing A&G

ISBN-139783319929699

eBay Product ID (ePID)12046523144

Product Key Features

Number of Pages303 Pages

Publication NameSoftware Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

LanguageEnglish

SubjectEngineering & Technology, Computer Science

Publication Year2018

TypeTextbook

AuthorEinar Broch Johnsen, Ina Schaefer

SeriesLecture Notes in Computer Science

FormatPaperback