Formal Methods: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

1st ed. 2016

Book Details

Format Paperback / Softback

Book Series Lecture Notes in Computer Science

ISBN-10 3319294725

ISBN-13 9783319294728

Edition 1st ed. 2016

Publisher Springer International Publishing AG

Imprint Springer International Publishing AG

Country of Manufacture CH

Country of Publication GB

Publication Date Feb 3rd, 2016

Print length 195 Pages

AI Summary

Ksh 6,300.00

Werezi Extended Catalogue 0 in stock

Delivery Location

County

Location

Delivery fee: Select location

Secure

Quality

Fast

This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015. The 11 papers presented in this volume were carefullyreviewed and selected from 25 submissions. They were organized in topicalsections named: model checking;

This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015.

The 11 papers presented in this volume were carefullyreviewed and selected from 25 submissions. They were organized in topicalsections named: model checking; languages and semantics; refinement andverification; testing and evaluation.

Get Formal Methods: Foundations and Applications by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has pages.