Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers

Name: Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers
Price: 80.50 CAD
Availability: InStock
Author: Parasara Sridhar Duggirala
ISBN: 9783030636173

Maria Christakis Édition : Nadia Polikarpova , Parasara Sridhar Duggirala

6 décembre 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

239

Programming and Software Engineering

Publié par: Springer Nature

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

ISBN: 9783030636173

Artificial Intelligence Applications And Innovations. Aiai 2020 Ifip Wg 12.5 International Workshops: Mhdw 2020 And 5g-pine 2020, Neos Marmaras, Greece, June 5-7, 2020, Proceedings

Ilias Maglogiannis Couverture souple
80,50 $
3 formats offerts
Intelligent Information Processing XII: 13th IFIP TC 12 International Conference, IIP 2024, Shenzhen, China, May 3-6, 2024, Proceedings, Part II

ZHONGZHI Shi Couverture souple
72,95 $
Intelligent Information Processing XII: 13th IFIP TC 12 International Conference, IIP 2024, Shenzhen, China, May 3-6, 2024, Proceedings, Part II

ZHONGZHI Shi Couverture rigide
131,50 $
2 formats offerts
Computer Science and Education: 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III

Wenxing Hong Couverture souple
160,95 $
2 formats offerts
Computer Science and Education: 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part I

Wenxing Hong Couverture souple
189,95 $
2 formats offerts
Virtual Systems and Multimedia: 13th International Conference, VSMM 2007, Brisbane, Australia, September 23-26, 2007, Revised Selected Papers

Theodor G. Wyeld Couverture rigide
80,50 $
Intelligent Information Processing XII: 13th IFIP TC 12 International Conference, IIP 2024, Shenzhen, China, May 3-6, 2024, Proceedings, Part I

ZHONGZHI Shi Couverture souple
72,95 $
Intelligent Information Processing XII: 13th IFIP TC 12 International Conference, IIP 2024, Shenzhen, China, May 3-6, 2024, Proceedings, Part I

ZHONGZHI Shi Couverture rigide
189,95 $
2 formats offerts
Computer Science and Education: 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part II

Wenxing Hong Couverture souple
175,50 $
2 formats offerts
Pan-African Artificial Intelligence and Smart Systems: Second EAI International Conference, PAAISS 2022, Dakar, Senegal, November 2-4, 2022, Proceedings

Telex Magloire Ngatched Nkouatchah Couverture souple
145,95 $
2 formats offerts
Intelligent Information And Database Systems: 12th Asian Conference, Aciids 2020, Phuket, Thailand, March 23-26, 2020, Proceedings, Part Ii

Ngoc Thanh Nguyen Couverture souple
80,50 $
2 formats offerts
Design, Operation and Evaluation of Mobile Communications: Second International Conference, MOBILE 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings

Gavriel Salvendy Couverture souple
80,50 $
2 formats offerts
Applied Informatics and Communication, Part III: International Conference, ICAIC 2011, Xi'an China, August 20-21, 2011, Proceedings, Part III

Jianwei Zhang Couverture souple
160,95 $
Intelligent Information And Database Systems: 12th Asian Conference, Aciids 2020, Phuket, Thailand, March 23-26, 2020, Proceedings, Part I

Ngoc Thanh Nguyen Couverture souple
80,50 $
2 formats offerts
Bio-Inspired Computing: Theories and Applications: 17th International Conference, BIC-TA 2022, Wuhan, China, December 16-18, 2022, Revised Selected Papers

Linqiang Pan Couverture souple
189,95 $
2 formats offerts
Modern Trends and Techniques in Computer Science: 3rd Computer Science On-line Conference 2014 (CSOC 2014)

Radek Silhavy Couverture souple
321,50 $
2 formats offerts
Experimental IR Meets Multilinguality, Multimodality, and Interaction: 12th International Conference of the CLEF Association, CLEF 2021, Virtual Event, September 21-24, 2021, Proceedings

K. Sel Candan Couverture souple
80,50 $
2 formats offerts
Agent and Multi-Agent Systems: Technologies and Applications: 5th KES International Conference, KES-AMSTA 2011, Manchester, UK, June 29 - July 1, 2011, Proceedings

James O'Shea Couverture souple
160,95 $
Intelligent Information And Database Systems: 8th Asian Conference, Aciids 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part Ii

Ngoc-thanh Nguyen Couverture souple
80,50 $
2 formats offerts
Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Stephanie Weirich Couverture souple
58,50 $

Évaluation éditoriale

nadia polikarpova

Auteur

Sensor Networks: 9th International Conference, SENSORNETS 2020, Valletta, Malta, February 28-29, 2020, and 10th International Conference, SENSORNETS 2021, Virtual Event, February 9-10, 2021, Revised Selected Papers

Andreas Ahrens Couverture souple
80,50 $
2 formats offerts
Deep Learning Theory and Applications: First International Conference, DeLTA 2020, Virtual Event, July 8-10, 2020, and Second International Conference, DeLTA 2021, Virtual Event, July 7-9, 2021, Revised Selected Papers

Ana Fred Couverture souple
102,50 $
2 formats offerts
Innovative Intelligent Industrial Production and Logistics: First International Conference, IN4PL 2020, Virtual Event, November 2-4, 2020, and Second International Conference, IN4PL 2021, Virtual Event, October 25-27, 2021, Revised Selected Papers

Alexander Smirnov Couverture souple
102,50 $
2 formats offerts
Runtime Verification: 20th International Conference, Rv 2020, Los Angeles, Ca, Usa, October 6-9, 2020, Proceedings

Jyotirmoy Deshmukh Couverture souple
80,50 $
2 formats offerts
Semantic Web Challenges: 5th SemWebEval Challenge at ESWC 2018, Heraklion, Greece, June 3-7, 2018, Revised Selected Pape: 5th SemWebEval Challenge at ESWC 2018, Heraklion, Greece, June 3-7, 2018, Revised Selected Papers

Davide Buscaldi Couverture souple
80,50 $
2 formats offerts
Electronic Governance with Emerging Technologies: Third International Conference, EGETC 2024, Jakarta, Indonesia, September 25-26, 2024, Revised Selected Papers

Fernando Ortiz-rodriguez Couverture souple
116,95 $
Accelerator Programming Using Directives: 8th International Workshop, Waccpd 2021, Virtual Event, November 14, 2021, Proceedings

Sridutt Bhalachandra Couverture souple
87,95 $
2 formats offerts
Robotics, Computer Vision and Intelligent Systems: First International Conference, ROBOVIS 2020, Virtual Event, November 4-6, 2020, and Second International Conference, ROBOVIS 2021, Virtual Event, October 27-28, 2021, Revised Selected Papers

Péter Galambos Couverture souple
124,50 $
2 formats offerts
Electronic Governance with Emerging Technologies: Second International Conference, EGETC 2023, Poznan, Poland, September 11-12, 2023, Revised Selected Papers

Fernando Ortiz-rodríguez Couverture souple
116,95 $
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
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
Search-Based Software Engineering: 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019, Proceedings

Shiva Nejati Couverture souple
80,50 $
2 formats offerts
Service-Oriented Computing - ICSOC 2003: First International Conference, Trento, Italy, December 15-18, 2003, Proceedin: First International Conference, Trento, Italy, December 15-18, 2003, Proceedings

Maria E. Orlowska Couverture souple
160,95 $
Nasa Formal Methods: 12th International Symposium, Nfm 2020, Moffett Field, Ca, Usa, May 11-15, 2020, Proceedings

Ritchie Lee Couverture souple
116,95 $
2 formats offerts
Emerging Technologies For Authorization And Authentication: 4th International Workshop, Etaa 2021, Darmstadt, Germany, October 8, 2021, Revised Selected Papers

Andrea Saracino Couverture souple
87,95 $
2 formats offerts
Computational Intelligence in Music, Sound, Art and Design: 8th International Conference, EvoMUSART 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24-26, 2019, Proceedings

Anik Ek Couverture souple
94,95 $
2 formats offerts
Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

Mario Bravetti Couverture souple
80,50 $
Model and Data Engineering: Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013 Proceedings

Alfredo Cuzzocrea Couverture souple
80,50 $
Approximation And Online Algorithms: 18th International Workshop, Waoa 2020, Virtual Event, September 9-10, 2020, Revised Selected Papers

Christos Kaklamanis Couverture souple
262,95 $
2 formats offerts
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

Nicola Olivetti Couverture souple
131,50 $
2 formats offerts

Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers

Description

Vous aimerez peut-être aussi

Artificial Intelligence Applications And Innovations. Aiai 2020 Ifip Wg 12.5 International Workshops: Mhdw 2020 And 5g-pine 2020, Neos Marmaras, Greece, June 5-7, 2020, Proceedings

Intelligent Information Processing XII: 13th IFIP TC 12 International Conference, IIP 2024, Shenzhen, China, May 3-6, 2024, Proceedings, Part II

Intelligent Information Processing XII: 13th IFIP TC 12 International Conference, IIP 2024, Shenzhen, China, May 3-6, 2024, Proceedings, Part II

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

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

Virtual Systems and Multimedia: 13th International Conference, VSMM 2007, Brisbane, Australia, September 23-26, 2007, Revised Selected Papers

Intelligent Information Processing XII: 13th IFIP TC 12 International Conference, IIP 2024, Shenzhen, China, May 3-6, 2024, Proceedings, Part I

Intelligent Information Processing XII: 13th IFIP TC 12 International Conference, IIP 2024, Shenzhen, China, May 3-6, 2024, Proceedings, Part I

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

Pan-African Artificial Intelligence and Smart Systems: Second EAI International Conference, PAAISS 2022, Dakar, Senegal, November 2-4, 2022, Proceedings

Intelligent Information And Database Systems: 12th Asian Conference, Aciids 2020, Phuket, Thailand, March 23-26, 2020, Proceedings, Part Ii

Design, Operation and Evaluation of Mobile Communications: Second International Conference, MOBILE 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings

Applied Informatics and Communication, Part III: International Conference, ICAIC 2011, Xi'an China, August 20-21, 2011, Proceedings, Part III

Intelligent Information And Database Systems: 12th Asian Conference, Aciids 2020, Phuket, Thailand, March 23-26, 2020, Proceedings, Part I

Bio-Inspired Computing: Theories and Applications: 17th International Conference, BIC-TA 2022, Wuhan, China, December 16-18, 2022, Revised Selected Papers

Modern Trends and Techniques in Computer Science: 3rd Computer Science On-line Conference 2014 (CSOC 2014)

Experimental IR Meets Multilinguality, Multimodality, and Interaction: 12th International Conference of the CLEF Association, CLEF 2021, Virtual Event, September 21-24, 2021, Proceedings

Agent and Multi-Agent Systems: Technologies and Applications: 5th KES International Conference, KES-AMSTA 2011, Manchester, UK, June 29 - July 1, 2011, Proceedings

Intelligent Information And Database Systems: 8th Asian Conference, Aciids 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part Ii

Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Sensor Networks: 9th International Conference, SENSORNETS 2020, Valletta, Malta, February 28-29, 2020, and 10th International Conference, SENSORNETS 2021, Virtual Event, February 9-10, 2021, Revised Selected Papers

Deep Learning Theory and Applications: First International Conference, DeLTA 2020, Virtual Event, July 8-10, 2020, and Second International Conference, DeLTA 2021, Virtual Event, July 7-9, 2021, Revised Selected Papers

Innovative Intelligent Industrial Production and Logistics: First International Conference, IN4PL 2020, Virtual Event, November 2-4, 2020, and Second International Conference, IN4PL 2021, Virtual Event, October 25-27, 2021, Revised Selected Papers

Runtime Verification: 20th International Conference, Rv 2020, Los Angeles, Ca, Usa, October 6-9, 2020, Proceedings

Semantic Web Challenges: 5th SemWebEval Challenge at ESWC 2018, Heraklion, Greece, June 3-7, 2018, Revised Selected Pape: 5th SemWebEval Challenge at ESWC 2018, Heraklion, Greece, June 3-7, 2018, Revised Selected Papers

Electronic Governance with Emerging Technologies: Third International Conference, EGETC 2024, Jakarta, Indonesia, September 25-26, 2024, Revised Selected Papers

Accelerator Programming Using Directives: 8th International Workshop, Waccpd 2021, Virtual Event, November 14, 2021, Proceedings

Robotics, Computer Vision and Intelligent Systems: First International Conference, ROBOVIS 2020, Virtual Event, November 4-6, 2020, and Second International Conference, ROBOVIS 2021, Virtual Event, October 27-28, 2021, Revised Selected Papers

Electronic Governance with Emerging Technologies: Second International Conference, EGETC 2023, Poznan, Poland, September 11-12, 2023, Revised Selected Papers

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

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

Search-Based Software Engineering: 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019, Proceedings

Service-Oriented Computing - ICSOC 2003: First International Conference, Trento, Italy, December 15-18, 2003, Proceedin: First International Conference, Trento, Italy, December 15-18, 2003, Proceedings

Nasa Formal Methods: 12th International Symposium, Nfm 2020, Moffett Field, Ca, Usa, May 11-15, 2020, Proceedings

Emerging Technologies For Authorization And Authentication: 4th International Workshop, Etaa 2021, Darmstadt, Germany, October 8, 2021, Revised Selected Papers

Computational Intelligence in Music, Sound, Art and Design: 8th International Conference, EvoMUSART 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24-26, 2019, Proceedings

Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

Model and Data Engineering: Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013 Proceedings

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

Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings