Currently Out Of Stock

Software Engineering and Formal Methods Theoretical Computer Science and General Issues

Name: Software Engineering and Formal Methods Theoretical Computer Science and General Issues
Author: Rocco De Nicola

Rocco De Nicola

22 June 2016

Paperback

€59.24

Collect 177 Reward Points

Currently Out Of Stock

Book Synopsis

This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They were organized in topical sections named: concurrency and non-interference; program analysis; model checking; verification; interaction and adaptation; and development methods.

Product Details

ISBN: 9783319415901
Format: Paperback
Publisher: Springer, (22 June 2016)
Number of Pages: 419
Weight: 666 grams
Language: English
Dimensions: 235 x 155 x 24 mm
Series:: See all books in this series
Categories:: Mathematical theory of computation Artificial intelligence AI Computer programming software engineering Software Engineering Compilers and interpreters