Formal Methods: Foundations and Applications
ISBN 10: 3319294725 ISBN 13: 9783319294728
Published by Springer, 2016
New
Soft cover
From
Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since June 24, 2016
This specific item is no longer available.
About this Item
Description:
New. Delivery takes 25-30 days. Excellent Customer Service. Seller Inventory # POD-105714
Synopsis:
This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015.
The 11 papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections named: model checking; languages and semantics; refinement and verification; testing and evaluation.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Formal Methods: Foundations and Applications
Publisher: Springer
Publication Date: 2016
Binding: Soft cover
Condition: Brand New