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

Name: Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
Price: 80.50 CAD
Availability: InStock
Author: Stefano Tonetta
ISBN: 9783031258022

Akash Lal Édition : Stefano Tonetta

2 février 2023

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

167

Lecture Notes In Computer Science

Publié par: Springer Nature

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

ISBN: 9783031258022

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

Ruzica Piskac Couverture souple
80,50 $
2 formats offerts
Universal Access in Human-Computer Interaction: Design Methods, Tools, and Interaction Techniques for eInclusion: 7th International Conference, UAHCI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

Constantine Stephanidis Couverture souple
80,50 $
Camera Networks: The Acquisition and Analysis of Videos over Wide Areas

Amit K Roy-Chowdhury Couverture souple
49,50 $
Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Till Mossakowski Couverture souple
80,50 $
Modern Problems of Robotics: Second International Conference, MPoR 2020, Moscow, Russia, March 25-26, 2020, Revised Selected Papers

Arkady Yuschenko Couverture souple
124,50 $
2 formats offerts
Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers

Couverture souple
71,50 $
Universal Access in Human-Computer Interaction. Applications and Services: 6th International Conference, UAHCI 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part IV

Constantine Stephanidis Couverture souple
160,95 $
Learning and Intelligent Optimization: 10th International Conference, LION 10, Ischia, Italy, May 29 - June 1, 2016, Revised Selected Papers

Paola Festa Couverture souple
80,50 $
2 formats offerts
Rewriting Logic And Its Applications: 13th International Workshop, Wrla 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers

Santiago Escobar Couverture souple
80,50 $
2 formats offerts
System Analysis And Modeling. Languages, Methods, And Tools For Industry 4.0: 11th International Conference, Sam 2019, Munich, Germany, September 16-17, 2019, Proceedings

Pau Fonseca i Casas Couverture souple
80,50 $
2 formats offerts
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment: Second International Workshop, DEVOPS 2019, Ch-teau de Villebrumier, France, May 6-8, 2019, Revised Selected Papers

Jean-Michel Bruel Couverture souple
80,50 $
2 formats offerts
Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLi 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Nina Gierasimczuk Couverture souple
58,50 $
Computer, Communication, and Signal Processing. Smart Solutions towards SDG: 8th IFIP TC 12 International Conference, ICCCSP 2024, Chennai, India, March 20-22, 2024, Revised Selected Papers

Aravindan Chandrabose Couverture rigide
175,50 $
Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLi 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Nina Gierasimczuk Couverture souple
80,50 $
2 formats offerts
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 Couverture souple
124,50 $
2 formats offerts
Learning and Intelligent Optimization: 13th International Conference, LION 13, Chania, Crete, Greece, May 27-31, 2019, Revised Selected Papers

Nikolaos F. Matsatsinis Couverture souple
80,50 $
2 formats offerts
Network Control and Optimization: Second EuroFGI Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008, Revised Selected Papers

Eitan Altman Couverture souple
80,50 $
Practical Aspects Of Declarative Languages: 22nd International Symposium, Padl 2020, New Orleans, La, Usa, January 20-21, 2020, Proceedings

Ekaterina Komendantskaya Couverture souple
80,50 $
2 formats offerts
Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Gopal Gupta Couverture souple
80,50 $
Programming Concepts and Methods PROCOMET '98: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA

David Gries Couverture souple
321,50 $
2 formats offerts

Évaluation éditoriale

stefano tonetta

Auteur

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

Andrew Reynolds Couverture souple
80,50 $
2 formats offerts
Rewriting Logic and Its Applications: 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers

Kyungmin Bae Couverture souple
116,95 $
2 formats offerts
Smart Card Research and Advanced Applications: 22nd International Conference, CARDIS 2023, Amsterdam, The Netherlands, November 14-16, 2023, Revised Selected Papers

Shivam Bhasin Couverture souple
94,95 $
2 formats offerts
Frontiers in Software Engineering: First International Conference, ICFSE 2021, Innopolis, Russia, June 17-18, 2021, Revised Selected Papers

Giancarlo Succi Couverture souple
124,50 $
2 formats offerts
Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLi 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Nina Gierasimczuk Couverture souple
80,50 $
2 formats offerts
Large-Scale Scientific Computations: 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, Revised Selected Papers

Ivan Lirkov Couverture souple
116,95 $
2 formats offerts
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 Couverture souple
80,50 $
2 formats offerts
Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Andrew Reynolds Couverture souple
72,95 $
Software Architecture: 15th European Conference, ECSA 2021 Tracks and Workshops; Vaxjo, Sweden, September 13-17, 2021, Revised Selected Papers

Patrizia Scandurra Couverture souple
80,50 $
2 formats offerts
Analysis of Images, Social Networks and Texts: 10th International Conference, AIST 2021, Tbilisi, Georgia, December 16-18, 2021, Revised Selected Papers

Evgeny Burnaev Couverture souple
124,50 $
2 formats offerts
Parallel Computational Technologies: 15th International Conference, PCT 2021, Volgograd, Russia, March 30 - April 1, 2021, Revised Selected Papers

Leonid Sokolinsky Couverture souple
80,50 $
2 formats offerts
Service-Oriented Computing: 16th Symposium and Summer School, SummerSOC 2022, Hersonissos, Crete, Greece, July 3-9, 2022, Revised Selected Papers

Johanna Barzen Couverture souple
80,50 $
2 formats offerts
Tools and Methods of Program Analysis: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

Rostislav Yavorskiy Couverture souple
94,95 $
2 formats offerts
Modelling and Simulation for Autonomous Systems: 10th International Conference, MESAS 2023, Palermo, Italy, October 17-19, 2023, Revised Selected Papers

Jan Mazal Couverture souple
116,95 $
2 formats offerts
String Processing and Information Retrieval: 30th International Symposium, SPIRE 2023, Pisa, Italy, September 26-28, 2023, Proceedings

Franco Maria Nardini Couverture souple
109,50 $
2 formats offerts
Code-Based Cryptography: 9th International Workshop, CBCrypto 2021 Munich, Germany, June 21-22, 2021 Revised Selected Papers

Antonia Wachter-zeh Couverture souple
87,95 $
2 formats offerts
Selected Areas in Cryptography: 28th International Conference, Virtual Event, September 29 - October 1, 2021, Revised Selected Papers

Riham AlTawy Couverture souple
131,50 $
2 formats offerts
Learning and Intelligent Optimization: 10th International Conference, LION 10, Ischia, Italy, May 29 - June 1, 2016, Revised Selected Papers

Paola Festa Couverture souple
80,50 $
2 formats offerts
Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings

Virgile Prevosto Couverture souple
80,50 $
2 formats offerts
Service-Oriented Computing: 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024, Revised Selected Papers

Marco Aiello Couverture souple
94,95 $
2 formats offerts

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

Description

Vous aimerez peut-être aussi

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

Universal Access in Human-Computer Interaction: Design Methods, Tools, and Interaction Techniques for eInclusion: 7th International Conference, UAHCI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

Camera Networks: The Acquisition and Analysis of Videos over Wide Areas

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

Modern Problems of Robotics: Second International Conference, MPoR 2020, Moscow, Russia, March 25-26, 2020, Revised Selected Papers

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

Universal Access in Human-Computer Interaction. Applications and Services: 6th International Conference, UAHCI 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part IV

Learning and Intelligent Optimization: 10th International Conference, LION 10, Ischia, Italy, May 29 - June 1, 2016, Revised Selected Papers

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

System Analysis And Modeling. Languages, Methods, And Tools For Industry 4.0: 11th International Conference, Sam 2019, Munich, Germany, September 16-17, 2019, Proceedings

Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment: Second International Workshop, DEVOPS 2019, Ch-teau de Villebrumier, France, May 6-8, 2019, Revised Selected Papers

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

Computer, Communication, and Signal Processing. Smart Solutions towards SDG: 8th IFIP TC 12 International Conference, ICCCSP 2024, Chennai, India, March 20-22, 2024, Revised Selected Papers

Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLi 2023, Tbilisi, Georgia, September 15-16, 2023, 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

Learning and Intelligent Optimization: 13th International Conference, LION 13, Chania, Crete, Greece, May 27-31, 2019, Revised Selected Papers

Network Control and Optimization: Second EuroFGI Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008, Revised Selected Papers

Practical Aspects Of Declarative Languages: 22nd International Symposium, Padl 2020, New Orleans, La, Usa, January 20-21, 2020, Proceedings

Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Programming Concepts and Methods PROCOMET '98: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

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

Rewriting Logic and Its Applications: 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers

Smart Card Research and Advanced Applications: 22nd International Conference, CARDIS 2023, Amsterdam, The Netherlands, November 14-16, 2023, Revised Selected Papers

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

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

Large-Scale Scientific Computations: 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, 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

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

Software Architecture: 15th European Conference, ECSA 2021 Tracks and Workshops; Vaxjo, Sweden, September 13-17, 2021, Revised Selected Papers

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

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

Service-Oriented Computing: 16th Symposium and Summer School, SummerSOC 2022, Hersonissos, Crete, Greece, July 3-9, 2022, Revised Selected Papers

Tools and Methods of Program Analysis: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

Modelling and Simulation for Autonomous Systems: 10th International Conference, MESAS 2023, Palermo, Italy, October 17-19, 2023, Revised Selected Papers

String Processing and Information Retrieval: 30th International Symposium, SPIRE 2023, Pisa, Italy, September 26-28, 2023, Proceedings

Code-Based Cryptography: 9th International Workshop, CBCrypto 2021 Munich, Germany, June 21-22, 2021 Revised Selected Papers

Selected Areas in Cryptography: 28th International Conference, Virtual Event, September 29 - October 1, 2021, Revised Selected Papers

Learning and Intelligent Optimization: 10th International Conference, LION 10, Ischia, Italy, May 29 - June 1, 2016, Revised Selected Papers

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

Service-Oriented Computing: 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024, Revised Selected Papers