Makeen books shop contact
  1. Home
  2. Computing & information technology
  3. Computer science
  4. Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications

9783319708478

Formal Methods: Foundations and Applications - 9783319708478 onload="displayBookAvailableStatusC()"/>
Rating:

Rs. 46742.00

Delivery in 25 - 45 working days

Qty

Due to the current situation the Delivey will be delayed than the standard shipping period (21 working days).
Call our hotline 011 7 463 463

Covid-19 Notice

Due to the current situation the Delivey will be delayed than the standard shipping period (21 working days)
Call our hotline 011 7 463 463

Additional Information
Author(s) :- Format :- Paperback
Publisher :- Springer International Publishing AG Pub. Date :- 2017-11-12
ISBN-13 :- 9783319708478
Series:- Programming and Software Engineering
Edition:- 1st ed. 2017
Pagination :- 305 pages, 101 Illustrations, black and white; X, 305 p. 101 illus.
Dimensions :- 235 x 155
Weight :- 486
Add to wishlist

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.

Other Books By