Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers

Name: Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers
Price: 60.99 CAD
Availability: InStock
Author: Markus Roggenbach
ISBN: 9783030737856

Edited by Markus Roggenbach

May 12, 2021

$60.99 ~~Price reduced from $75.48 to~~

Online pricing. Prices and offers may vary in store.

Buy eBook

Overview

Language

English

Theoretical Computer Science and General Issues

Publisher: Springer International Publishing

ISBN: 9783030737856

Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Till Mossakowski Paperback
$80.50
Formal Techniques For Safety-critical Systems: 4th International Workshop, Ftscs 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

Cyrille Artho Paperback
$80.50
2 formats available
Recent Trends in Algebraic Development Techniques: 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers

Alexandre Madeira Paperback
$80.50
2 formats available
Finite Difference Methods,Theory and Applications: 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers

Ivan Dimov Paperback
$80.50
2 formats available
Finite Difference Methods. Theory and Applications: 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers

Ivan Dimov Paperback
$80.50
2 formats available
Verified Software. Theories, Tools, And Experiments: 10th International Conference, Vstte 2018, Oxford, Uk, July 18-19, 2018, Revised Selected Papers

Ruzica Piskac Paperback
$80.50
2 formats available
Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures

Bertrand Meyer Paperback
$72.95
Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings

Joost-Pieter Katoen Paperback
$80.50
Empirical Software Engineering and Verification: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

Bertrand Meyer Paperback
$102.50
Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers

Andy Gill Paperback
$105.50
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
Advanced Environments, Tools, and Applications for Cluster Computing: NATO Advanced Research Workshop, IWCC 2001, Mangalia, Romania, September 1-6, 2001. Revised Papers

Dan Grigoras Paperback
$80.50
Structured Object-oriented Formal Language And Method: 10th International Workshop, Sofl+msvl 2020, Singapore, March 1, 2021, Revised Selected Papers

Jinyun Xue Paperback
$80.50
2 formats available
ICTs for Improving Patients Rehabilitation Research Techniques: Second International Workshop, REHAB 2014, Oldenburg, Germany, May 20-23, 2014, Revised Selected Papers

Habib M. Fardoun Paperback
$80.50
2 formats available
Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers

Paperback
$71.50
Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2

Maurice H. ter Beek Paperback
$80.50
2 formats available
Trends in Functional Programming: 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers

Wouter Swierstra Paperback
$72.95
2 formats available
Advanced Visual Interfaces. Supporting Artificial Intelligence and Big Data Applications: AVI 2020 Workshops, AVI-BDA and ITAVIS, Ischia, Italy, June 9, 2020 and September 29, 2020, Revised Selected Papers

Thoralf Reis Paperback
$124.50
2 formats available
Approximation And Online Algorithms: 18th International Workshop, Waoa 2020, Virtual Event, September 9-10, 2020, Revised Selected Papers

Christos Kaklamanis Paperback
$262.95
2 formats available
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

Editorial reviews

markus roggenbach

Author

Trends In Functional Programming: 22nd International Symposium, Tfp 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers

Viktória Zs Paperback
$65.95
2 formats available
Rewriting Logic And Its Applications: 13th International Workshop, Wrla 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers

Santiago Escobar Paperback
$80.50
2 formats available
Approximation And Online Algorithms: 18th International Workshop, Waoa 2020, Virtual Event, September 9-10, 2020, Revised Selected Papers

Christos Kaklamanis Paperback
$262.95
2 formats available
Languages And Compilers For Parallel Computing: 33rd International Workshop, Lcpc 2020, Virtual Event, October 14-16, 2020, Revised Selected Papers

Barbara Chapman Paperback
$102.50
2 formats available
Job Scheduling Strategies For Parallel Processing: 24th International Workshop, Jsspp 2021, Virtual Event, May 21, 2021, Revised Selected Papers

Dalibor Klus Paperback
$102.50
2 formats available
Evaluation Of Novel Approaches To Software Engineering: 16th International Conference, Enase 2021, Virtual Event, April 26-27, 2021, Revised Selected Papers

Raian Ali Paperback
$131.50
2 formats available
Evaluation of Novel Approaches to Software Engineering: 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers

Hermann Kaindl Paperback
$131.50
2 formats available
Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers

Maurizio Gabbrielli Paperback
$80.50
2 formats available
Solving Software Challenges for Exascale: International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers

Stefano Markidis Paperback
$65.95
2 formats available
Structured Object-Oriented Formal Language and Method: 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers

Huaikou Miao Paperback
$80.50
2 formats available
Computer-Human Interaction Research and Applications: 4th International Conference, CHIRA 2020, Virtual Event, November 5-6, 2020, Revised Selected Papers

Andreas Holzinger Paperback
$102.50
2 formats available
Structured Object-oriented Formal Language And Method: 10th International Workshop, Sofl+msvl 2020, Singapore, March 1, 2021, Revised Selected Papers

Jinyun Xue Paperback
$80.50
2 formats available
Job Scheduling Strategies for Parallel Processing: 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers

Narayan Desai Paperback
$80.50
2 formats available
Trends in Functional Programming: 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers

Aleksander Byrski Paperback
$80.50
2 formats available
Implementation And Application Of Automata: 25th International Conference, Ciaa 2021, Virtual Event, July 19-22, 2021, Proceedings

Sebastian Maneth Paperback
$80.50
2 formats available
Large-Scale Scientific Computing: 12th International Conference, LSSC 2019, Sozopol, Bulgaria, June 10-14, 2019, Revised Selected Papers

Ivan Lirkov Paperback
$80.50
2 formats available
Algorithms And Data Structures: 17th International Symposium, Wads 2021, Virtual Event, August 9-11, 2021, Proceedings

Anna Lubiw Paperback
$160.95
2 formats available
Algorithms And Architectures For Parallel Processing: 21st International Conference, Ica3pp 2021, Virtual Event, December 3-5, 2021, Proceedings, Part I

Yongxuan Lai Paperback
$175.50
2 formats available
Algorithms And Architectures For Parallel Processing: 21st International Conference, Ica3pp 2021, Virtual Event, December 3-5, 2021, Proceedings, Part Iii

Yongxuan Lai Paperback
$175.50
2 formats available
Finite Difference Methods,Theory and Applications: 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers

Ivan Dimov Paperback
$80.50
2 formats available

Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers

Overview

You May Also Like

Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Formal Techniques For Safety-critical Systems: 4th International Workshop, Ftscs 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers

Finite Difference Methods,Theory and Applications: 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers

Finite Difference Methods. Theory and Applications: 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers

Verified Software. Theories, Tools, And Experiments: 10th International Conference, Vstte 2018, Oxford, Uk, July 18-19, 2018, Revised Selected Papers

Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures

Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings

Empirical Software Engineering and Verification: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers

String Processing and Information Retrieval: 29th International Symposium, SPIRE 2022, Concepcion, Chile, November 8-10, 2022, Proceedings

Advanced Environments, Tools, and Applications for Cluster Computing: NATO Advanced Research Workshop, IWCC 2001, Mangalia, Romania, September 1-6, 2001. Revised Papers

Structured Object-oriented Formal Language And Method: 10th International Workshop, Sofl+msvl 2020, Singapore, March 1, 2021, Revised Selected Papers

ICTs for Improving Patients Rehabilitation Research Techniques: Second International Workshop, REHAB 2014, Oldenburg, Germany, May 20-23, 2014, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers

Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2

Trends in Functional Programming: 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers

Advanced Visual Interfaces. Supporting Artificial Intelligence and Big Data Applications: AVI 2020 Workshops, AVI-BDA and ITAVIS, Ischia, Italy, June 9, 2020 and September 29, 2020, Revised Selected Papers

Approximation And Online Algorithms: 18th International Workshop, Waoa 2020, Virtual Event, September 9-10, 2020, Revised Selected Papers

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

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

Trends In Functional Programming: 22nd International Symposium, Tfp 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers

Rewriting Logic And Its Applications: 13th International Workshop, Wrla 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers

Approximation And Online Algorithms: 18th International Workshop, Waoa 2020, Virtual Event, September 9-10, 2020, Revised Selected Papers

Languages And Compilers For Parallel Computing: 33rd International Workshop, Lcpc 2020, Virtual Event, October 14-16, 2020, Revised Selected Papers

Job Scheduling Strategies For Parallel Processing: 24th International Workshop, Jsspp 2021, Virtual Event, May 21, 2021, Revised Selected Papers

Evaluation Of Novel Approaches To Software Engineering: 16th International Conference, Enase 2021, Virtual Event, April 26-27, 2021, Revised Selected Papers

Evaluation of Novel Approaches to Software Engineering: 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers

Solving Software Challenges for Exascale: International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers

Structured Object-Oriented Formal Language and Method: 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers

Computer-Human Interaction Research and Applications: 4th International Conference, CHIRA 2020, Virtual Event, November 5-6, 2020, Revised Selected Papers

Structured Object-oriented Formal Language And Method: 10th International Workshop, Sofl+msvl 2020, Singapore, March 1, 2021, Revised Selected Papers

Job Scheduling Strategies for Parallel Processing: 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers

Trends in Functional Programming: 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers

Implementation And Application Of Automata: 25th International Conference, Ciaa 2021, Virtual Event, July 19-22, 2021, Proceedings

Large-Scale Scientific Computing: 12th International Conference, LSSC 2019, Sozopol, Bulgaria, June 10-14, 2019, Revised Selected Papers

Algorithms And Data Structures: 17th International Symposium, Wads 2021, Virtual Event, August 9-11, 2021, Proceedings

Algorithms And Architectures For Parallel Processing: 21st International Conference, Ica3pp 2021, Virtual Event, December 3-5, 2021, Proceedings, Part I

Algorithms And Architectures For Parallel Processing: 21st International Conference, Ica3pp 2021, Virtual Event, December 3-5, 2021, Proceedings, Part Iii

Finite Difference Methods,Theory and Applications: 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers