Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers

Name: Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers
Price: 60.99 CAD
Availability: InStock
Author: Andrew Reynolds
ISBN: 9783031660641

Edited by Andrew Reynolds

Jul 26, 2024

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

Online pricing. Prices and offers may vary in store.

Buy eBook

Overview

Language

English

Lecture Notes In Computer Science

Publisher: Springer Nature Switzerland

ISBN: 9783031660641

Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Andrew Reynolds Paperback
$72.95
Computer Vision, Imaging and Computer Graphics: Theory and Applications: International Joint Conference, VISIGRAPP 2013, Barcelona, Spain, February 21-24, 2013, Revised Selected Papers

Sebastiano Battiato Paperback
$80.50
2 formats available
Scientific Computing, Computer Arithmetic, and Validated Numerics: 16th International Symposium, SCAN 2014, Wurzburg, Germany, September 21-26, 2014. Revised Selected Papers

Marco Nehmeier Paperback
$80.50
2 formats available
Quantum Interaction: 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers

Dawei Song Paperback
$80.50
Computer Vision, Imaging and Computer Graphics - Theory and Applications: International Joint Conference, VISIGRAPP 2014, Lisbon, Portugal, January 5-8, 2014, Revised Selected Papers

Sebastiano Battiato Paperback
$80.50
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
Computational Intelligence Methods For Bioinformatics And Biostatistics: 16th International Meeting, Cibb 2019, Bergamo, Italy, September 4-6, 2019, Revised Selected Papers

Paolo Cazzaniga Paperback
$80.50
2 formats available
Computational Intelligence Methods for Bioinformatics and Biostatistics: 7th International Meeting, CIBIB 2010, Palermo, Italy, September 16-18, 2010, Revised Selected Papers

Riccardo Rizzo Paperback
$80.50
Advances in Computer Games: 17th International Conference, ACG 2021, Virtual Event, November 23-25, 2021, Revised Selected Papers

Cameron Browne Paperback
$116.95
2 formats available
Reasoning Web. Semantic Technologies for Software Engineering: 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures

Uwe Assmann Paperback
$80.50
Advances in Computer Games: 18th International Conference, ACG 2023, Virtual Event, November 28-30, 2023, Revised Selected Papers

Michael Hartisch Paperback
$80.50
2 formats available
Advances in Computer Games: 18th International Conference, ACG 2023, Virtual Event, November 28-30, 2023, Revised Selected Papers

Michael Hartisch Paperback
$58.50
Topics in Theoretical Computer Science: The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers

Mohammed Taghi Hajiaghayi Paperback
$80.50
2 formats available
Computational Intelligence Methods for Bioinformatics and Biostatistics: 6th International Meeting, Cibb 2009, Genoa, Italy, October 15-17, 2009, Revised Selected Papers

Francesco Masulli Paperback
$80.50
Graph Drawing and Network Visualization: 30th International Symposium, GD 2022, Tokyo, Japan, September 13-16, 2022, Revised Selected Papers

Patrizio Angelini Paperback
$131.50
2 formats available
Membrane Computing: 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers

Erzsebet Csuhaj-Varju Paperback
$80.50
Information Theory And Applications Ii: 4th Canadian Workshop, Lac Delage, Quebec, Canada, May 28 - 30, 1995, Selected Papers

Paperback
$71.50
Enterprise Information Systems: 15h International Conference, ICEIS 2013, Angers, France, July 4-7, 2013, Revised Selected Papers

Slimane Hammoudi Paperback
$80.50
2 formats available
Parallel Processing and Applied Mathematics: 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part II

Roman Wyrzykowski Paperback
$80.50
2 formats available
Pattern Recognition and Information Processing: 15th International Conference, PRIP 2021, Minsk, Belarus, September 21-24, 2021, Revised Selected Papers

Alexander V. Tuzikov Paperback
$124.50
2 formats available

Editorial reviews

andrew reynolds

Author

Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Andrew Reynolds Paperback
$72.95
Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Akash Lal Paperback
$80.50
2 formats available
Graph-Theoretic Concepts in Computer Science: 48th International Workshop, WG 2022, Tubingen, Germany, June 22-24, 2022, Revised Selected Papers

Michael A. Bekos Paperback
$116.95
2 formats available
Intelligent Software Methodologies, Tools and Techniques: 13th International Conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014. Revised Selected Papers

Hamido Fujita Paperback
$80.50
2 formats available
Cryptography and Lattices: International Conference, Calc 2001, Providence, Ri, Usa, March 29-30, 2001. Revised Papers

Joseph H. Silverman Paperback
$80.50
Bio-inspired Computing - Theories and Applications: 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised Selected Papers, Part I

Maoguo Gong Paperback
$80.50
2 formats available
Quantum Interaction: 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers

Harald Atmanspacher Paperback
$80.50
2 formats available
Bio-inspired Computing - Theories and Applications: 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised Selected Papers, Part II

Maoguo Gong Paperback
$80.50
2 formats available
Embedded System Technology: 13th National Conference, ESTC 2015, Beijing, China, October 10-11, 2015, Revised Selected Papers

Xing Zhang Paperback
$80.50
2 formats available
Parallel Computational Technologies: 15th International Conference, PCT 2021, Volgograd, Russia, March 30 - April 1, 2021, Revised Selected Papers

Leonid Sokolinsky Paperback
$80.50
2 formats available
Frontiers in Software Engineering: First International Conference, ICFSE 2021, Innopolis, Russia, June 17-18, 2021, Revised Selected Papers

Giancarlo Succi Paperback
$124.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
Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLi 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Nina Gierasimczuk Paperback
$80.50
2 formats available
Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings

Virgile Prevosto Paperback
$80.50
2 formats available
Analysis of Images, Social Networks and Texts: 10th International Conference, AIST 2021, Tbilisi, Georgia, December 16-18, 2021, Revised Selected Papers

Evgeny Burnaev Paperback
$124.50
2 formats available
Algorithmic Aspects of Cloud Computing: 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers

Ioannis Chatzigiannakis Paperback
$94.95
2 formats available
Graph-theoretic Concepts In Computer Science: 46th International Workshop, Wg 2020, Leeds, Uk, June 24-26, 2020, Revised Selected Papers

Isolde Adler Paperback
$80.50
2 formats available
Computer Science and Education: 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III

Wenxing Hong Paperback
$160.95
2 formats available
Parallel Computational Technologies: 14th International Conference, Pct 2020, Perm, Russia, May 27-29, 2020, Revised Selected Papers

Leonid Sokolinsky Paperback
$131.50
2 formats available
Computer Science and Education: 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part I

Wenxing Hong Paperback
$189.95
2 formats available

Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers

Overview

You May Also Like

Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Computer Vision, Imaging and Computer Graphics: Theory and Applications: International Joint Conference, VISIGRAPP 2013, Barcelona, Spain, February 21-24, 2013, Revised Selected Papers

Scientific Computing, Computer Arithmetic, and Validated Numerics: 16th International Symposium, SCAN 2014, Wurzburg, Germany, September 21-26, 2014. Revised Selected Papers

Quantum Interaction: 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers

Computer Vision, Imaging and Computer Graphics - Theory and Applications: International Joint Conference, VISIGRAPP 2014, Lisbon, Portugal, January 5-8, 2014, Revised Selected Papers

Computational Intelligence Methods for Bioinformatics and Biostatistics: 15th International Meeting, CIBB 2018, Caparica, Portugal, September 6-8, 2018, Revised Selected Papers

Computational Intelligence Methods For Bioinformatics And Biostatistics: 16th International Meeting, Cibb 2019, Bergamo, Italy, September 4-6, 2019, Revised Selected Papers

Computational Intelligence Methods for Bioinformatics and Biostatistics: 7th International Meeting, CIBIB 2010, Palermo, Italy, September 16-18, 2010, Revised Selected Papers

Advances in Computer Games: 17th International Conference, ACG 2021, Virtual Event, November 23-25, 2021, Revised Selected Papers

Reasoning Web. Semantic Technologies for Software Engineering: 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures

Advances in Computer Games: 18th International Conference, ACG 2023, Virtual Event, November 28-30, 2023, Revised Selected Papers

Advances in Computer Games: 18th International Conference, ACG 2023, Virtual Event, November 28-30, 2023, Revised Selected Papers

Topics in Theoretical Computer Science: The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers

Computational Intelligence Methods for Bioinformatics and Biostatistics: 6th International Meeting, Cibb 2009, Genoa, Italy, October 15-17, 2009, Revised Selected Papers

Graph Drawing and Network Visualization: 30th International Symposium, GD 2022, Tokyo, Japan, September 13-16, 2022, Revised Selected Papers

Membrane Computing: 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers

Information Theory And Applications Ii: 4th Canadian Workshop, Lac Delage, Quebec, Canada, May 28 - 30, 1995, Selected Papers

Enterprise Information Systems: 15h International Conference, ICEIS 2013, Angers, France, July 4-7, 2013, Revised Selected Papers

Parallel Processing and Applied Mathematics: 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part II

Pattern Recognition and Information Processing: 15th International Conference, PRIP 2021, Minsk, Belarus, September 21-24, 2021, Revised Selected Papers

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Graph-Theoretic Concepts in Computer Science: 48th International Workshop, WG 2022, Tubingen, Germany, June 22-24, 2022, Revised Selected Papers

Intelligent Software Methodologies, Tools and Techniques: 13th International Conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014. Revised Selected Papers

Cryptography and Lattices: International Conference, Calc 2001, Providence, Ri, Usa, March 29-30, 2001. Revised Papers

Bio-inspired Computing - Theories and Applications: 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised Selected Papers, Part I

Quantum Interaction: 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers

Bio-inspired Computing - Theories and Applications: 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised Selected Papers, Part II

Embedded System Technology: 13th National Conference, ESTC 2015, Beijing, China, October 10-11, 2015, Revised Selected Papers

Parallel Computational Technologies: 15th International Conference, PCT 2021, Volgograd, Russia, March 30 - April 1, 2021, Revised Selected Papers

Frontiers in Software Engineering: First International Conference, ICFSE 2021, Innopolis, Russia, June 17-18, 2021, Revised Selected Papers

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

Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLi 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings

Analysis of Images, Social Networks and Texts: 10th International Conference, AIST 2021, Tbilisi, Georgia, December 16-18, 2021, Revised Selected Papers

Algorithmic Aspects of Cloud Computing: 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers

Graph-theoretic Concepts In Computer Science: 46th International Workshop, Wg 2020, Leeds, Uk, June 24-26, 2020, Revised Selected Papers

Computer Science and Education: 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III

Parallel Computational Technologies: 14th International Conference, Pct 2020, Perm, Russia, May 27-29, 2020, Revised Selected Papers

Computer Science and Education: 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part I