Skip to main content Skip to footer content

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

Emil Sekerinski Edited by Nelma Moreira , José N. Oliveira

Aug 13, 2020

$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

523

Programming and Software Engineering

Publisher: Springer Nature

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

ISBN: 9783030549930

Beyond Interactions: Interact 2019 Ifip Tc 13 Workshops, Paphos, Cyprus, September 2-6, 2019, Revised Selected Papers

Jos Abdelnour Nocera Paperback
$80.50
2 formats available
Frontiers In Software Engineering Education: First International Workshop, Fisee 2019, Villebrumier, France, November 11-13, 2019, Invited Papers

Jean-Michel Bruel Paperback
$80.50
2 formats available
Frontiers in Software Engineering Education: Second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, Invited Papers

Alfredo Capozucca Paperback
$58.50
Frontiers in Software Engineering Education: Second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, Invited Papers

Alfredo Capozucca Paperback
$80.50
2 formats available
From Data to Models and Back: 10th International Symposium, DataMod 2021, Virtual Event, December 6-7, 2021, Revised Selected Papers

Juliana Bowles Paperback
$87.95
2 formats available
Service-Oriented Computing: 16th Symposium and Summer School, SummerSOC 2022, Hersonissos, Crete, Greece, July 3-9, 2022, Revised Selected Papers

Johanna Barzen Paperback
$80.50
2 formats available
Variable Neighborhood Search: 7th International Conference, Icvns 2019, Rabat, Morocco, October 3-5, 2019, Revised Selected Papers

Rachid Benmansour Paperback
$80.50
2 formats available
From Data to Models and Back: 9th International Symposium, Datamod 2020, Virtual Event, October 20, 2020, Revised Selected Papers

Juliana Bowles Paperback
$94.95
2 formats available
Service-Oriented Computing: 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024, Revised Selected Papers

Marco Aiello Paperback
$94.95
2 formats available
Agile Methods: 9th Brazilian Workshop, Wbma 2018, Campinas, Brazil, October 4, 2018, Revised Selected Papers

Graziela Simone Tonin Paperback
$80.50
2 formats available
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Alessandro Aldini Paperback
$72.95
Task Models and Diagrams for User Interface Design: 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers

David England Paperback
$80.50
Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

Pedro Ribeiro Paperback
$80.50
2 formats available
Software Architecture: Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers

Volker Gruhn Paperback
$80.50
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers

Loek Cleophas Paperback
$80.50
2 formats available
Web and Big Data: APWeb-WAIM 2019 International Workshops, KGMA and DSEA, Chengdu, China, August 1-3, 2019, Revised Selected Papers

Jingkuan Song Paperback
$80.50
2 formats available
Agile Methods: 11th Brazilian Workshop, WBMA 2021, Virtual event, October 8-10, 2021, Revised Selected Papers

Carla Rocha Paperback
$102.50
2 formats available
Internet of Things: 5th The Global IoT Summit, GIoTS 2022, Dublin, Ireland, June 20-23, 2022, Revised Selected Papers

Aurora González-Vidal Paperback
$131.50
2 formats available
Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2014, Manchester, UK, September 2-4, 2014, Revised Selected Papers

Guadalupe Ortiz Paperback
$80.50
2 formats available
Entertainment Computing - ICEC 2011: 10th International Conference, ICEC 2011, Vancouver, BC, Canada, October 5-8, 2011, Proceedings

Junia Anacleto Paperback
$80.50

Editorial reviews

nelma moreira

Author

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

Emil Sekerinski Paperback
$80.50
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
Optimization, Learning Algorithms and Applications: Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part II

Ana I. Pereira Paperback
$116.95
2 formats available
Optimization, Learning Algorithms and Applications: Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part I

Ana I. Pereira Paperback
$131.50
2 formats available
Optimization, Learning Algorithms and Applications: Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part II

Ana I. Pereira Paperback
$58.50
Inductive Logic Programming: 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

Gerson Zaverucha Paperback
$65.95
2 formats available
Optimization, Learning Algorithms and Applications: Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part I

Ana I. Pereira Paperback
$58.50
UML Modeling Languages and Applications: > 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers

Nuno Jardim Nunes Paperback
$80.50
Advanced Virtual Environments and Education: Third International Workshop, WAVE 2021, Fortaleza, Brazil, March 21-24, 2021, Revised Selected Papers

Tiago T. Primo Paperback
$102.50
2 formats available
Optimization, Learning Algorithms and Applications: First International Conference, OL2A 2021, Braganca, Portugal, July 19-21, 2021, Revised Selected Papers

Ana I. Pereira Paperback
$175.50
2 formats available
Technology and Innovation in Learning, Teaching and Education: Third International Conference, TECH-EDU 2022, Lisbon, Portugal, August 31-September 2, 2022, Revised Selected Papers

Arsénio Reis Paperback
$145.95
2 formats available
Formal Methods Teaching: 4th International Workshop And Tutorial, Fmtea 2021, Virtual Event, November 21, 2021, Proceedings

João F. Ferreira Paperback
$87.95
2 formats available
Experimental and Efficient Algorithms: Third International Workshop, WEA 2004, Angra dos Reis, Brazil, May 25-28, 2004, Proceedings

Celso C. Ribeiro Paperback
$80.50
Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010, Revised Selected Papers

Luis Soares Barbosa Paperback
$80.50
Serious Games, Interaction, and Simulation: 5th International Conference, SGAMES 2015, Novedrate, Italy, September 16-18, 2015, Revised Selected Papers

Carlos Vaz de Carvalho Paperback
$87.95
2 formats available
Logic, Language, Information, And Computation: 22nd International Workshop, Wollic 2015, Bloomington, In, Usa, July 20-23, 2015, Proceedings

Valeria de Paiva Paperback
$65.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
Computational Intelligence Methods for Bioinformatics and Biostatistics: 15th International Meeting, CIBB 2018, Caparica, Portugal, September 6-8, 2018, Revised Selected Papers

Maria Raposo Paperback
$80.50
2 formats available
Pattern Recognition and Image Analysis: 10th Iberian Conference, IbPRIA 2022, Aveiro, Portugal, May 4-6, 2022, Proceedin: 10th Iberian Conference, IbPRIA 2022, Aveiro, Portugal, May 4-6, 2022, Proceedings

Armando J. Pinho Paperback
$160.95
2 formats available
Agile Methods: 11th Brazilian Workshop, WBMA 2021, Virtual event, October 8-10, 2021, Revised Selected Papers

Carla Rocha Paperback
$102.50
2 formats available