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

Home

Barnes and Noble

Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings

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

You May Also Like

Formal Methods and Software Engineering: 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings
Loading Inventory...

Formal Methods and Software Engineering: 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings

Barnes and Noble
Current price: $54.99
Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings / Edition 1
Loading Inventory...

Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings / Edition 1

Barnes and Noble
Current price: $109.99
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
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
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
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
Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
Loading Inventory...

Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, 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 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
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 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
Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, Revised Selected Papers
Loading Inventory...

Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, Revised Selected Papers

Barnes and Noble
Current price: $69.99
Advanced Information Systems Engineering: 33rd International Conference, CAiSE 2021, Melbourne, VIC, Australia, June 28 - July 2, Proceedings
Loading Inventory...

Advanced Information Systems Engineering: 33rd International Conference, CAiSE 2021, Melbourne, VIC, Australia, June 28 - July 2, Proceedings

Barnes and Noble
Current price: $119.99
Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings
Loading Inventory...

Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings

Barnes and Noble
Current price: $49.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
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
Powered by Adeptmind