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

Home

Barnes and Noble

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

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

You May Also Like

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

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

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

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

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

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

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

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

Barnes and Noble
Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 / Edition 1

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 / Edition 1

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

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

Barnes and Noble
Intelligent Systems: 11th Brazilian Conference, BRACIS 2022, Campinas, Brazil, November 28 - December 1, Proceedings, Part II

Intelligent Systems: 11th Brazilian Conference, BRACIS 2022, Campinas, Brazil, November 28 - December 1, Proceedings, Part II

Barnes and Noble
Intelligent Systems: 10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 - December 3, Proceedings

Intelligent Systems: 10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 - December 3, Proceedings

Barnes and Noble
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Barnes and Noble
Advances in Bioinformatics and Computational Biology: 6th Brazilian Symposium on Bioinformatics, BSB 2011, Brasília, Brazil, August 10-12, 2011, Proceedings

Advances in Bioinformatics and Computational Biology: 6th Brazilian Symposium on Bioinformatics, BSB 2011, Brasília, Brazil, August 10-12, 2011, Proceedings

Barnes and Noble
Advances in Artificial Intelligence: 16th Brazilian Symposium on Artificial Intelligence, SBIA 2002, Porto de Galinhas/Recife, Brazil, November 11-14, 2002, Proceedings

Advances in Artificial Intelligence: 16th Brazilian Symposium on Artificial Intelligence, SBIA 2002, Porto de Galinhas/Recife, Brazil, November 11-14, 2002, Proceedings

Barnes and Noble
Proceedings of the 7th Brazilian Technology Symposium (BTSym'21): Emerging Trends Systems Engineering Mathematics and Physical Sciences, Volume 2

Proceedings of the 7th Brazilian Technology Symposium (BTSym'21): Emerging Trends Systems Engineering Mathematics and Physical Sciences, Volume 2

Barnes and Noble
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings / Edition 1

Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings / Edition 1

Barnes and Noble
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

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
Advances in Bioinformatics and Computational Biology: 5th Brazilian Symposium on Bioinformatics, BSB 2010, Rio de Janeiro, Brazil, August 31--September 3, 2010, Proceedings

Advances in Bioinformatics and Computational Biology: 5th Brazilian Symposium on Bioinformatics, BSB 2010, Rio de Janeiro, Brazil, August 31--September 3, 2010, Proceedings

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

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

Barnes and Noble
Powered by Adeptmind