Formal Methods: 25th International Symposium, FM 2023, L beck, Germany, March 6 10, 2023, Proceedings (Lecture Notes in Computer Science Book 14000)
Asin: B0BTWVGN7X
As an Amazon Associate we earn a fee from qualifying purchases when you follow a link to Amazon from this page. We rank the products, but the links to Amazon are promotional.First Available: 03/02/2023
Manufacturer: Springer
See On Amazon Similar To Formal Methods 25th International Symposium
#1
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 11427)
Asin: B07QGB1SXZ
First Available: 04/03/2019
Manufacturer: Springer
See On Amazon #2
Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29 31, 2018, Proceedings (Lecture Notes in Computer Science Book 11002)
Asin: B07GZMXJNX
First Available: 08/28/2018
Manufacturer: Springer
See On Amazon
Looking For Something Else?
Search