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

Distributed Applications and Interoperable Systems: 22nd IFIP WG 6.1 International Conference, DAIS 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings

David Eyers Couverture souple
80,50 $
2 formats offerts
Distributed Applications and Interoperable Systems: 21st IFIP WG 6.1 International Conference, DAIS 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings

Miguel Matos Couverture souple
80,50 $
2 formats offerts
Coordination Models and Languages: 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings

Sung-shik Jongmans Couverture souple
116,95 $
2 formats offerts
Coordination Models and Languages: 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings

Ferruccio Damiani Couverture souple
80,50 $
2 formats offerts
Distributed Applications and Interoperable Systems: 23rd IFIP WG 6.1 International Conference, DAIS 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings

Marta Patiño-Mart Couverture souple
94,95 $
2 formats offerts
Software Technologies: 16th International Conference, ICSOFT 2021, Virtual Event, July 6-8, 2021, Revised Selected Paper: 16th International Conference, ICSOFT 2021, Virtual Event, July 6-8, 2021, Revised Selected Papers

Hans-georg Fill Couverture souple
131,50 $
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 $
New Frontiers In Quantitative Methods In Informatics: 7th Workshop, Infq 2017, Venice, Italy, December 4, 2017, Revised Selected Papers

Simonetta Balsamo Couverture souple
80,50 $
2 formats offerts
Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings

Alexey Gotsman Couverture souple
102,50 $
2 formats offerts
Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

Nobuko Yoshida Couverture souple
72,95 $
Application And Theory Of Petri Nets And Concurrency: 42nd International Conference, Petri Nets 2021, Virtual Event, June 23-25, 2021, Proceedings

Didier Buchs Couverture souple
80,50 $
2 formats offerts
Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings

Kirstin Peters Couverture souple
80,50 $
2 formats offerts
Large-Scale Scientific Computing: 12th International Conference, LSSC 2019, Sozopol, Bulgaria, June 10-14, 2019, Revised Selected Papers

Ivan Lirkov Couverture souple
80,50 $
2 formats offerts
Advances in Service-Oriented and Cloud Computing: International Workshops of ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020, Revised Selected Papers

Christian Zirpins Couverture souple
80,50 $
2 formats offerts
Adaptive Instructional Systems: Second International Conference, AIS 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings

Robert A. Sottilare Couverture souple
131,50 $
2 formats offerts
Fundamental Approaches to Software Engineering: 27th International Conference, FASE 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

Dirk Beyer Couverture souple
72,95 $
2 formats offerts
Fundamental Approaches to Software Engineering: 27th International Conference, FASE 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

Dirk Beyer Couverture souple
58,50 $
Coordination Models and Languages: 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings

Maurice H. ter Beek Couverture souple
189,95 $
2 formats offerts
Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Akash Lal Couverture souple
80,50 $
2 formats offerts
Software Technologies: 15th International Conference, Icsoft 2020, Online Event, July 7-9, 2020, Revised Selected Papers

Marten van Sinderen Couverture souple
80,50 $
2 formats offerts

Évaluation éditoriale

nadia polikarpova

Auteur

Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers

Roderick Bloem Couverture souple
87,95 $
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
Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers

Supratik Chakraborty Couverture souple
80,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
Runtime Verification: 18th International Conference, Rv 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings

Christian Colombo Couverture souple
124,50 $
2 formats offerts
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
Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

Ezio Bartocci 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
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
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
Static Analysis: 28th International Symposium, Sas 2021, Chicago, Il, Usa, October 17-19, 2021, Proceedings

Cezara Drägoi Couverture souple
131,50 $
2 formats offerts
Accelerator Programming Using Directives: 6th International Workshop, Waccpd 2019, Denver, Co, Usa, November 18, 2019, Revised Selected Papers

Sandra Wienke Couverture souple
76,50 $
2 formats offerts
Formal Aspects Of Component Software: 17th International Conference, Facs 2021, Virtual Event, October 28-29, 2021, Proceedings

Gwen Sala Couverture souple
72,95 $
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
Intelligent Tutoring Systems: 13th International Conference, Its 2016, Zagreb, Croatia, June 7-10, 2016. Proceedings

Alessandro Micarelli Couverture souple
80,50 $
2 formats offerts
Performance Evaluation and Benchmarking for the Era of Cloud(s): 11th TPC Technology Conference, TPCTC 2019, Los Angeles, CA, USA, August 26, 2019, Revised Selected Papers

Raghunath Nambiar Couverture souple
80,50 $
2 formats offerts
Model-based Safety And Assessment: 6th International Symposium, Imbsa 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings

Yiannis Papadopoulos Couverture souple
80,50 $
2 formats offerts
Nasa Formal Methods: 13th International Symposium, Nfm 2021, Virtual Event, May 24-28, 2021, Proceedings

Aaron Dutle Couverture souple
145,95 $
2 formats offerts
Runtime Verification: 5th International Conference, Rv 2014, Toronto, On, Canada, September 22-25, 2014. Proceedings

Borzoo Bonakdarpour Couverture souple
80,50 $
Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings

Omri Isac Couverture souple
102,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

Distributed Applications and Interoperable Systems: 22nd IFIP WG 6.1 International Conference, DAIS 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings

Distributed Applications and Interoperable Systems: 21st IFIP WG 6.1 International Conference, DAIS 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings

Coordination Models and Languages: 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings

Coordination Models and Languages: 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings

Distributed Applications and Interoperable Systems: 23rd IFIP WG 6.1 International Conference, DAIS 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings

Software Technologies: 16th International Conference, ICSOFT 2021, Virtual Event, July 6-8, 2021, Revised Selected Paper: 16th International Conference, ICSOFT 2021, Virtual Event, July 6-8, 2021, Revised Selected Papers

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

New Frontiers In Quantitative Methods In Informatics: 7th Workshop, Infq 2017, Venice, Italy, December 4, 2017, Revised Selected Papers

Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings

Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

Application And Theory Of Petri Nets And Concurrency: 42nd International Conference, Petri Nets 2021, Virtual Event, June 23-25, 2021, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings

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

Advances in Service-Oriented and Cloud Computing: International Workshops of ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020, Revised Selected Papers

Adaptive Instructional Systems: Second International Conference, AIS 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings

Fundamental Approaches to Software Engineering: 27th International Conference, FASE 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

Fundamental Approaches to Software Engineering: 27th International Conference, FASE 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

Coordination Models and Languages: 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings

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

Software Technologies: 15th International Conference, Icsoft 2020, Online Event, July 7-9, 2020, Revised Selected Papers

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers

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

Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers

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

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

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

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

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

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

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

Static Analysis: 28th International Symposium, Sas 2021, Chicago, Il, Usa, October 17-19, 2021, Proceedings

Accelerator Programming Using Directives: 6th International Workshop, Waccpd 2019, Denver, Co, Usa, November 18, 2019, Revised Selected Papers

Formal Aspects Of Component Software: 17th International Conference, Facs 2021, Virtual Event, October 28-29, 2021, Proceedings

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

Intelligent Tutoring Systems: 13th International Conference, Its 2016, Zagreb, Croatia, June 7-10, 2016. Proceedings

Performance Evaluation and Benchmarking for the Era of Cloud(s): 11th TPC Technology Conference, TPCTC 2019, Los Angeles, CA, USA, August 26, 2019, Revised Selected Papers

Model-based Safety And Assessment: 6th International Symposium, Imbsa 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings

Nasa Formal Methods: 13th International Symposium, Nfm 2021, Virtual Event, May 24-28, 2021, Proceedings

Runtime Verification: 5th International Conference, Rv 2014, Toronto, On, Canada, September 22-25, 2014. Proceedings

Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings