Formal Methods: Foundations and Applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings
Sale

Formal Methods: Foundations and Applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings

Springer International Publishing AG
SKU:
9783319708478
|
UPC:
9783319708478
$95.83 $83.05
(No reviews yet)
Condition:
New
Current Stock:
Adding to cart… The item has been added
Description
This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions.


  • | : Simone Cavalheiro, Jose Fiadeiro (Edited by)
  • | Publisher: Springer International Publishing AG
  • | Publication Date: Nov 12, 2017
  • | Country of Publication: Switzerland
  • | Number of Pages: 305 pages
  • | Language: Unknown
  • | Binding: Paperback / softback
  • | ISBN-10: 3319708473
  • | ISBN-13: 9783319708478
Additional Information
By (Author):
Simone Cavalheiro, Jose Fiadeiro (Edited by)
Publisher:
Springer International Publishing AG
Publication Date:
Nov 12, 2017
Country of Publication:
Switzerland
Language:
Unknown
Number of pages:
305 pages
Binding:
Paperback / softback
ISBN-10:
3319708473
ISBN-13:
9783319708478