Formal Methods - Foundations and Applications : 26th Brazilian Symposium, Sbmf 2023, Manaus, Brazil, December 4-8, 2023, Proceedings
Barbosa, Haniel (EDT); Zohar, Yoni (EDT)
Sold by GreatBookPrices, Columbia, MD, U.S.A.
AbeBooks Seller since April 6, 2009
New - Soft cover
Condition: New
Quantity: 15 available
Add to basket