Fr. 69.00

Eina Broch Johnsen, Einar Broch Johnsen, Einar Broch Johnsen, Schaefer, Schaefer, Ina Schaefer

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

English · Paperback / Softback

Shipping usually within 1 to 2 weeks (title will be printed to order)

Description

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.

List of contents

Specification.- Concurrency.- Program analysis.- Model checking and runtime verification.- Applications.- Shape analysis and reuse.

Summary

Product details

Assisted by	Eina Broch Johnsen (Editor), Einar Broch Johnsen (Editor), Einar Broch Johnsen (Editor), Schaefer (Editor), Schaefer (Editor), Ina Schaefer (Editor)
Publisher	Springer, Berlin

Languages	English
Product format	Paperback / Softback
Released	01.01.2018

EAN	9783319929699
ISBN	978-3-31-992969-9
No. of pages	303
Dimensions	155 mm x 18 mm x 236 mm
Weight	488 g
Illustrations	XIV, 303 p. 98 illus.
Series	Lecture Notes in Computer Science Theoretical Computer Science and General Issues Lecture Notes in Computer Science Theoretical Computer Science and General Issues
Subject	Natural sciences, medicine, IT, technology > IT, data processing > IT

Customer reviews

No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.

Write a review

Thumbs up or thumbs down? Write your own review.