The following text field will produce suggestions that follow it as you type.

Home

Barnes and Noble

Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

Unfortunately, this item is no longer available, but we found some similar items you might like.

You May Also Like

Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, Proceedings
Loading Inventory...

Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, Proceedings

Barnes and Noble
Current price: $69.99
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
Loading Inventory...

Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I

Barnes and Noble
Current price: $54.99
Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures / Edition 1
Loading Inventory...

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures / Edition 1

Barnes and Noble
Current price: $54.99
Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, Proceedings
Loading Inventory...

Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, Proceedings

Barnes and Noble
Current price: $79.99
Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
Loading Inventory...

Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Barnes and Noble
Current price: $54.99
Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, Proceedings
Loading Inventory...

Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, Proceedings

Barnes and Noble
Current price: $54.99
Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
Loading Inventory...

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Barnes and Noble
Current price: $49.99
Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, Proceedings
Loading Inventory...

Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, Proceedings

Barnes and Noble
Current price: $69.99
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Loading Inventory...

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

Barnes and Noble
Current price: $109.99
Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings
Loading Inventory...

Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings

Barnes and Noble
Current price: $54.99
Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings / Edition 1
Loading Inventory...

Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings / Edition 1

Barnes and Noble
Current price: $54.99
Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Loading Inventory...

Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Barnes and Noble
Current price: $54.99
NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, Proceedings
Loading Inventory...

NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, Proceedings

Barnes and Noble
Current price: $139.99
Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Loading Inventory...

Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Barnes and Noble
Current price: $54.99
Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
Loading Inventory...

Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Barnes and Noble
Current price: $54.99
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, Revised Selected Papers
Loading Inventory...

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, Revised Selected Papers

Barnes and Noble
Current price: $44.99
Powered by Adeptmind