Skip to main content Skip to footer content

Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

Haniel Barbosa Edited by Yoni Zohar

Dec 02, 2023

$80.50

Online pricing. Prices and offers may vary in store.

Ship to me

Checking availability…

Buy now & pick up in store

Checking availability…

Find it in store

Checking availability…

Quantity

Earn 403 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

153

Lecture Notes In Computer Science

Publisher: Springer Nature

Shipping dimensions: 9" H x 6" W x 1" L

ISBN: 9783031493416

Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

Haniel Barbosa Paperback
$58.50
Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitoria, Brazil, December 4-6, 2024, Proceedings

Sidney C. Nogueira Paperback
$94.95
Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings

Lucas Lima Paperback
$87.95
2 formats available
Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings

Gustavo Carvalho Paperback
$102.50
2 formats available
Advances in Conceptual Modeling - Challenging Perspectives: ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009, Proceedings

Carlos A. Heuser Paperback
$80.50
Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings

Sérgio Campos Paperback
$87.95
2 formats available
Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Márcio Cornélio Paperback
$65.95
2 formats available
Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings

Emanuele De Angelis Paperback
$87.95
2 formats available
Genetic Programming: 23rd European Conference, EuroGP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15-17, 2020, Proceedings

Ting Hu Paperback
$80.50
2 formats available
Programming Languages And Systems: 18th Asian Symposium, Aplas 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings

Bruno C. D. S. Oliveira Paperback
$80.50
2 formats available
Quality Of Information And Communications Technology: 14th International Conference, Quatic 2021, Algarve, Portugal, September 8-11, 2021, Proceedings

Ana C. R. Paiva Paperback
$189.95
2 formats available
Advances in Conceptual Modeling: ER 2020 Workshops CMAI, CMLS, CMOMM4FAIR, CoMoNoS, EmpER, Vienna, Austria, November 3-6, 2020, Proceedings

Georg Grossmann Paperback
$80.50
2 formats available
Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

Robert Gl Paperback
$80.50
2 formats available
Next Generation Arithmetic: 4th International Conference, CoNGA 2023, Singapore, March 1-2, 2023, Proceedings

John Gustafson Paperback
$87.95
2 formats available
Programming Languages And Systems: 17th Asian Symposium, Aplas 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings

Anthony Widjaja Lin Paperback
$80.50
2 formats available
Genetic Programming: 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007, Proceedings

Marc Ebner Paperback
$80.50
Web Information Systems Engineering - WISE 2021: 22nd International Conference on Web Information Systems Engineering, WISE 2021, Melbourne, VIC, Australia, October 26-29, 2021, Proceedings, Part II

Wenjie Zhang Paperback
$189.95
2 formats available
Programming Languages and Systems: 8th Asian Symposium, Aplas 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings

Kazunori Ueda Paperback
$80.50
Descriptional Complexity Of Formal Systems: 23rd Ifip Wg 1.02 International Conference, Dcfs 2021, Virtual Event, September 5, 2021, Proceedings

Yo-sub Han Paperback
$94.95
2 formats available
Genetic Programming: 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings

Penousal Machado Paperback
$80.50
2 formats available

Editorial reviews

yoni zohar

Author

Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

Haniel Barbosa Paperback
$58.50
Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings

Lucas Lima Paperback
$87.95
2 formats available
Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitoria, Brazil, December 4-6, 2024, Proceedings

Sidney C. Nogueira Paperback
$94.95
Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Márcio Cornélio Paperback
$65.95
2 formats available
Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings

Gustavo Carvalho Paperback
$102.50
2 formats available
Intelligent Data Engineering and Automated Learning - IDEAL 2023: 24th International Conference, Evora, Portugal, November 22-24, 2023, Proceedings

Paulo Quaresma Paperback
$58.50
Search-Based Software Engineering: 16th International Symposium, SSBSE 2024, Porto de Galinhas, Brazil, July 15, 2024, Proceedings

Gunel Jahangirova Paperback
$80.50
2 formats available
Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

Robert Gl Paperback
$80.50
2 formats available
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II

Andre Platzer Paperback
$248.50
2 formats available
Intelligent Data Engineering and Automated Learning - IDEAL 2023: 24th International Conference, Evora, Portugal, November 22-24, 2023, Proceedings

Paulo Quaresma Paperback
$131.50
2 formats available
String Processing and Information Retrieval: 29th International Symposium, SPIRE 2022, Concepcion, Chile, November 8-10, 2022, Proceedings

Diego Arroyuelo Paperback
$124.50
2 formats available
Implementation and Application of Automata: 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings

Szilárd Zsolt Fazekas Paperback
$109.50
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II

Tiziana Margaria Paperback
$116.95
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV

Tiziana Margaria Paperback
$102.50
2 formats available
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

Paperback
$142.95
2 formats available
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Marcel Vinícius Oliveira Paperback
$80.50
Algorithms and Discrete Applied Mathematics: 10th International Conference, CALDAM 2024, Bhilai, India, February 15-17, 2024, Proceedings

Subrahmanyam Kalyanasundaram Paperback
$109.50
2 formats available
Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Carla Ferreira Paperback
$102.50
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Tiziana Margaria Paperback
$80.50
2 formats available
Computational Methods In Systems Biology: 16th International Conference, Cmsb 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings

Milan Äe Paperback
$94.95
2 formats available