Formal Methods : Foundations and Applications; 19th Brazilian Symposium, Sbmf 2016, Natal, Brazil, November 23-25, 2016, Proceedings
Ribeiro, Leila (EDT); Lecomte, Thierry (EDT)
Sold by GreatBookPrices, Columbia, MD, U.S.A.
AbeBooks Seller since April 6, 2009
Used - Soft cover
Condition: Used - As new
Ships within U.S.A.
Quantity: Over 20 available
Add to basket