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

Name: Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedin: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings
Price: 80.50 CAD
Availability: InStock
Author: Elena Troubitsyna
ISBN: 9783030634605

Brijesh Dongol Édition : Elena Troubitsyna

14 novembre 2020

80,50 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 403 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

461

Programming and Software Engineering

Publié par: Springer Nature

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783030634605

Technologies and Innovation: 6th International Conference, CITI 2020, Guayaquil, Ecuador, November 30 - December 3, 2020, Proceedings

Rafael Valencia-garc Couverture souple
80,50 $
2 formats offerts
Technologies and Innovation: 10th International Conference, CITI 2024, Guayaquil, Ecuador, November 11-14, 2024, Proceedings

Rafael Valencia-garc Couverture souple
116,95 $
Testing Software and Systems: 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings

Mercedes G. Merayo Couverture souple
80,50 $
Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings

Burkhart Wolff Couverture souple
80,50 $
Advances in Cryptology - EUROCRYPT 2002: International Conference on the Theory and Applications of Cryptographic Techniques, Amsterdam, The Netherlands, April 28 - May 2, 2002 Proceedings

Lars Knudsen Couverture souple
160,95 $
Model Driven Engineering Languages and Systems: 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 - October 5, 2012, Proceedings

Robert B. France Couverture souple
80,50 $
Testing Software and Systems: 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings

Valentina Casola Couverture souple
80,50 $
2 formats offerts
Search-Based Software Engineering: 13th International Symposium, SSBSE 2021, Bari, Italy, October 11-12, 2021, Proceedin: 13th International Symposium, SSBSE 2021, Bari, Italy, October 11-12, 2021, Proceedings

Una-May O'Reilly Couverture souple
87,95 $
2 formats offerts
Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. Proceedings

Juergen Dingel Couverture souple
80,50 $
Technologies and Innovation: 5th International Conference, CITI 2019, Guayaquil, Ecuador, December 2-5, 2019, Proceeding: 5th International Conference, CITI 2019, Guayaquil, Ecuador, December 2-5, 2019, Proceedings

Rafael Valencia-garc Couverture souple
80,50 $
2 formats offerts
Testing Software and Systems: 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

H Yenig Couverture souple
80,50 $
Service-Oriented Computing: 18th International Conference, ICSOC 2020, Dubai, United Arab Emirates, December 14-17, 2020, Proceedings

Eleanna Kafeza Couverture souple
175,50 $
2 formats offerts
Hci International 2021 - Posters: 23rd Hci International Conference, Hcii 2021, Virtual Event, July 24-29, 2021, Proceedings, Part I

Constantine Stephanidis Couverture souple
160,95 $
2 formats offerts
Algorithms And Models For The Web Graph: 17th International Workshop, Waw 2020, Warsaw, Poland, September 21-22, 2020, Proceedings

Bogumi Kamiåski Couverture souple
80,50 $
2 formats offerts
Software Architecture: 4th European Conference , ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, Proceedings

Muhammad Ali Babar Couverture souple
80,50 $
Hci International 2021 - Posters: 23rd Hci International Conference, Hcii 2021, Virtual Event, July 24-29, 2021, Proceedings, Part Iii

Constantine Stephanidis Couverture souple
80,50 $
2 formats offerts
Hci International 2021 - Posters: 23rd Hci International Conference, Hcii 2021, Virtual Event, July 24-29, 2021, Proceedings, Part Ii

Constantine Stephanidis Couverture souple
80,50 $
2 formats offerts
Virtual, Augmented and Mixed Reality: 15th International Conference, VAMR 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings

Jessie Y. C. Chen Couverture souple
175,50 $
2 formats offerts
Lean Enterprise Software and Systems: 4th International Conference, LESS 2013, Galway, Ireland, December 1-4, 2013, Proceedings

Brian Fitzgerald Couverture souple
80,50 $
Quality of Information and Communications Technology: 16th International Conference, QUATIC 2023, Aveiro, Portugal, September 11-13, 2023, Proceedings

José Maria Fernandes Couverture souple
160,95 $
2 formats offerts

elena troubitsyna

Business Process Management: 20th International Conference, BPM 2022, Munster, Germany, September 11-16, 2022, Proceedin: 20th International Conference, BPM 2022, Munster, Germany, September 11-16, 2022, Proceedings

Claudio Di Ciccio Couverture souple
116,95 $
2 formats offerts
Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings

Maurice H. ter Beek Couverture souple
124,50 $
2 formats offerts
Service-Oriented Computing: 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceeding: 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings

Claus Pahl Couverture souple
160,95 $
2 formats offerts
Search-Based Software Engineering: 13th International Symposium, SSBSE 2021, Bari, Italy, October 11-12, 2021, Proceedin: 13th International Symposium, SSBSE 2021, Bari, Italy, October 11-12, 2021, Proceedings

Una-May O'Reilly Couverture souple
87,95 $
2 formats offerts
Search-Based Software Engineering: 14th International Symposium, SSBSE 2022, Singapore, November 17-18, 2022, Proceeding: 14th International Symposium, SSBSE 2022, Singapore, November 17-18, 2022, Proceedings

Mike Papadakis Couverture souple
87,95 $
2 formats offerts
Developments in Language Theory: 25th International Conference, DLT 2021, Porto, Portugal, August 16-20, 2021, Proceedin: 25th International Conference, DLT 2021, Porto, Portugal, August 16-20, 2021, Proceedings

Nelma Moreira Couverture souple
145,95 $
2 formats offerts
Integrated Formal Methods: 15th International Conference, Ifm 2019, Bergen, Norway, December 2-6, 2019, Proceedings

Wolfgang Ahrendt Couverture souple
80,50 $
2 formats offerts
Practical Aspects Of Declarative Languages: 23rd International Symposium, Padl 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings

José F. Morales Couverture souple
80,50 $
2 formats offerts
Mathematics and Computation in Music: 7th International Conference, MCM 2019, Madrid, Spain, June 18-21, 2019, Proceedin: 7th International Conference, MCM 2019, Madrid, Spain, June 18-21, 2019, Proceedings

Mariana Montiel Couverture souple
131,50 $
2 formats offerts
Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

Ezio Bartocci Couverture souple
80,50 $
2 formats offerts
Reversible Computation: 11th International Conference, Rc 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings

Michael Kirkedal Thomsen Couverture souple
94,95 $
2 formats offerts
Runtime Verification: 18th International Conference, Rv 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings

Christian Colombo Couverture souple
124,50 $
2 formats offerts
Model And Data Engineering: 10th International Conference, Medi 2021, Tallinn, Estonia, June 21-23, 2021, Proceedings

Christian Attiogb Couverture souple
80,50 $
2 formats offerts
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings

Kim Guldstrand Larsen Couverture souple
80,50 $
2 formats offerts
Optimization and Learning: 5th International Conference, OLA 2022, Syracuse, Sicilia, Italy, July 18-20, 2022, Proceedin: 5th International Conference, OLA 2022, Syracuse, Sicilia, Italy, July 18-20, 2022, Proceedings

Bernab Dorronsoro Couverture souple
124,50 $
2 formats offerts
New Opportunities For Software Reuse: 17th International Conference, Icsr 2018, Madrid, Spain, May 21-23, 2018, Proceedings

Rafael Capilla Couverture souple
202,95 $
2 formats offerts
Performance Evaluation and Benchmarking: 13th TPC Technology Conference, TPCTC 2021, Copenhagen, Denmark, August 20, 2021, Revised Selected Papers

Raghunath Nambiar Couverture souple
87,95 $
2 formats offerts
Software Architecture: 14th European Conference, Ecsa 2020, L'aquila, Italy, September 14-18, 2020, Proceedings

Anton Jansen Couverture souple
80,50 $
2 formats offerts
Algorithms in Bioinformatics: 9th International Workshop, WABI 2009, Philadelphia, USA, September 12-13, 2009. Proceedin: 9th International Workshop, WABI 2009, Philadelphia, USA, September 12-13, 2009. Proceedings

Steven L. Salzberg Couverture souple
160,95 $
Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings

Farhad Arbab Couverture souple
80,50 $
2 formats offerts

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

Description

Vous aimerez peut-être aussi

Technologies and Innovation: 6th International Conference, CITI 2020, Guayaquil, Ecuador, November 30 - December 3, 2020, Proceedings

Technologies and Innovation: 10th International Conference, CITI 2024, Guayaquil, Ecuador, November 11-14, 2024, Proceedings

Testing Software and Systems: 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings

Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings

Advances in Cryptology - EUROCRYPT 2002: International Conference on the Theory and Applications of Cryptographic Techniques, Amsterdam, The Netherlands, April 28 - May 2, 2002 Proceedings

Model Driven Engineering Languages and Systems: 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 - October 5, 2012, Proceedings

Testing Software and Systems: 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings

Search-Based Software Engineering: 13th International Symposium, SSBSE 2021, Bari, Italy, October 11-12, 2021, Proceedin: 13th International Symposium, SSBSE 2021, Bari, Italy, October 11-12, 2021, Proceedings

Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. Proceedings

Technologies and Innovation: 5th International Conference, CITI 2019, Guayaquil, Ecuador, December 2-5, 2019, Proceeding: 5th International Conference, CITI 2019, Guayaquil, Ecuador, December 2-5, 2019, Proceedings

Testing Software and Systems: 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

Service-Oriented Computing: 18th International Conference, ICSOC 2020, Dubai, United Arab Emirates, December 14-17, 2020, Proceedings

Hci International 2021 - Posters: 23rd Hci International Conference, Hcii 2021, Virtual Event, July 24-29, 2021, Proceedings, Part I

Algorithms And Models For The Web Graph: 17th International Workshop, Waw 2020, Warsaw, Poland, September 21-22, 2020, Proceedings

Software Architecture: 4th European Conference , ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, Proceedings

Hci International 2021 - Posters: 23rd Hci International Conference, Hcii 2021, Virtual Event, July 24-29, 2021, Proceedings, Part Iii

Hci International 2021 - Posters: 23rd Hci International Conference, Hcii 2021, Virtual Event, July 24-29, 2021, Proceedings, Part Ii

Virtual, Augmented and Mixed Reality: 15th International Conference, VAMR 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings

Lean Enterprise Software and Systems: 4th International Conference, LESS 2013, Galway, Ireland, December 1-4, 2013, Proceedings

Quality of Information and Communications Technology: 16th International Conference, QUATIC 2023, Aveiro, Portugal, September 11-13, 2023, Proceedings

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Business Process Management: 20th International Conference, BPM 2022, Munster, Germany, September 11-16, 2022, Proceedin: 20th International Conference, BPM 2022, Munster, Germany, September 11-16, 2022, Proceedings

Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings

Service-Oriented Computing: 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceeding: 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings

Search-Based Software Engineering: 13th International Symposium, SSBSE 2021, Bari, Italy, October 11-12, 2021, Proceedin: 13th International Symposium, SSBSE 2021, Bari, Italy, October 11-12, 2021, Proceedings

Search-Based Software Engineering: 14th International Symposium, SSBSE 2022, Singapore, November 17-18, 2022, Proceeding: 14th International Symposium, SSBSE 2022, Singapore, November 17-18, 2022, Proceedings

Developments in Language Theory: 25th International Conference, DLT 2021, Porto, Portugal, August 16-20, 2021, Proceedin: 25th International Conference, DLT 2021, Porto, Portugal, August 16-20, 2021, Proceedings

Integrated Formal Methods: 15th International Conference, Ifm 2019, Bergen, Norway, December 2-6, 2019, Proceedings

Practical Aspects Of Declarative Languages: 23rd International Symposium, Padl 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings

Mathematics and Computation in Music: 7th International Conference, MCM 2019, Madrid, Spain, June 18-21, 2019, Proceedin: 7th International Conference, MCM 2019, Madrid, Spain, June 18-21, 2019, Proceedings

Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

Reversible Computation: 11th International Conference, Rc 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings

Runtime Verification: 18th International Conference, Rv 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings

Model And Data Engineering: 10th International Conference, Medi 2021, Tallinn, Estonia, June 21-23, 2021, Proceedings

Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings

Optimization and Learning: 5th International Conference, OLA 2022, Syracuse, Sicilia, Italy, July 18-20, 2022, Proceedin: 5th International Conference, OLA 2022, Syracuse, Sicilia, Italy, July 18-20, 2022, Proceedings

New Opportunities For Software Reuse: 17th International Conference, Icsr 2018, Madrid, Spain, May 21-23, 2018, Proceedings

Performance Evaluation and Benchmarking: 13th TPC Technology Conference, TPCTC 2021, Copenhagen, Denmark, August 20, 2021, Revised Selected Papers

Software Architecture: 14th European Conference, Ecsa 2020, L'aquila, Italy, September 14-18, 2020, Proceedings

Algorithms in Bioinformatics: 9th International Workshop, WABI 2009, Philadelphia, USA, September 12-13, 2009. Proceedin: 9th International Workshop, WABI 2009, Philadelphia, USA, September 12-13, 2009. Proceedings

Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings