Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II

Name: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II
Price: 80.50 CAD
Availability: InStock
Author: Bernhard Steffen
ISBN: 9783030614690

Tiziana Margaria Edited by Bernhard Steffen

Oct 27, 2020

$80.50

Online pricing. Prices and offers may vary in store.

Ship to me

Checking availability…

Buy now & pick up in store

Checking availability…

Find it in store

Checking availability…

Quantity

Earn 403 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

544

Theoretical Computer Science and General Issues

Publisher: Springer Nature

Shipping dimensions: 9" H x 6" W x 1" L

ISBN: 9783030614690

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I

Tiziana Margaria Paperback
$145.95
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV

Tiziana Margaria Paperback
$80.50
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings

Tiziana Margaria Paperback
$116.95
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Tiziana Margaria Paperback
$109.50
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Tiziana Margaria Paperback
$109.50
2 formats available
HCI and Usability for Medicine and Health Care: Third Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2007 Graz, Austria, November, 22, 2007, Proceedings

Andreas Holzinger Hardcover
$80.50
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III

Tiziana Margaria Paperback
$116.95
2 formats available
Cloud Debugging And Profiling In Microsoft Azure: Application Performance Management In The Cloud

Jeffrey Chilberto Paperback
$102.50
2 formats available
Immersive Learning Research Network: 5th International Conference, Ilrn 2019, London, Uk, June 23-27, 2019, Proceedings

Dennis Beck Paperback
$80.50
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III

Tiziana Margaria Paperback
$80.50
2 formats available
Modelling Foundations and Applications: 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings

Jordi Cabot Paperback
$80.50
Real-time Unix Systems: Design and Application Guide

Borko Furht Paperback
$246.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
Human-Computer Interaction: Human-Centred Design Approaches, Methods, Tools and Environments: 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

Masaaki Kurosu Paperback
$80.50
Engineering Psychology and Cognitive Ergonomics. Understanding Human Cognition: 10th International Conference, EPCE 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

Don Harris Paperback
$80.50
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
Requirements Engineering: Foundation for Software Quality: 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24-27, 2020, Proceedings

Nazim Madhavji Paperback
$80.50
2 formats available
Search-Based Applications: At the Confluence of Search and Database Technologies

Gregory Grefenstette Paperback
$38.95
Human Aspects of IT for the Aged Population. Design, Interaction and Technology Acceptance: 8th International Conference, ITAP 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part I

Qin Gao Paperback
$175.50
2 formats available
Agile Processes in Software Engineering and Extreme Programming: 25th International Conference on Agile Software Development, XP 2024, Bozen-Bolzano, Italy, June 4-7, 2024, Proceedings

Darja Smite Paperback
$72.95
2 formats available

Editorial reviews

bernhard steffen

Author

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Tiziana Margaria Paperback
$80.50
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I

Tiziana Margaria Paperback
$145.95
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III

Tiziana Margaria Paperback
$80.50
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV

Tiziana Margaria Paperback
$80.50
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings

Tiziana Margaria Paperback
$116.95
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I

Tiziana Margaria Paperback
$145.95
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Tiziana Margaria Paperback
$109.50
2 formats available
Leveraging Applications Of Formal Methods, Verification And Validation. Modeling: 8th International Symposium, Isola 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Tiziana Margaria Paperback
$80.50
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Tiziana Margaria Paperback
$80.50
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV

Tiziana Margaria Paperback
$102.50
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II

Tiziana Margaria Paperback
$116.95
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III

Tiziana Margaria Paperback
$116.95
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Tiziana Margaria Paperback
$109.50
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Tiziana Margaria Paperback
$109.50
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV

Kobo eBook
$84.99 ~~Price reduced from $105.68 to~~
2 formats available
Applied Reconfigurable Computing. Architectures, Tools, And Applications: 16th International Symposium, Arc 2020, Toledo, Spain, April 1-3, 2020, Proceedings

Fernando Rinc Paperback
$80.50
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Tiziana Margaria Paperback
$109.50
2 formats available
Formal Modeling And Analysis Of Timed Systems: 18th International Conference, Formats 2020, Vienna, Austria, September 1-3, 2020, Proceedings

Nathalie Bertrand Paperback
$80.50
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Tiziana Margaria Paperback
$116.95
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V

Kobo eBook
$60.99 ~~Price reduced from $75.48 to~~
2 formats available

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II

Overview

You May Also Like

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

HCI and Usability for Medicine and Health Care: Third Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2007 Graz, Austria, November, 22, 2007, Proceedings

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III

Cloud Debugging And Profiling In Microsoft Azure: Application Performance Management In The Cloud

Immersive Learning Research Network: 5th International Conference, Ilrn 2019, London, Uk, June 23-27, 2019, Proceedings

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III

Modelling Foundations and Applications: 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings

Real-time Unix Systems: Design and Application Guide

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

Human-Computer Interaction: Human-Centred Design Approaches, Methods, Tools and Environments: 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

Engineering Psychology and Cognitive Ergonomics. Understanding Human Cognition: 10th International Conference, EPCE 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

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

Requirements Engineering: Foundation for Software Quality: 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24-27, 2020, Proceedings

Search-Based Applications: At the Confluence of Search and Database Technologies

Human Aspects of IT for the Aged Population. Design, Interaction and Technology Acceptance: 8th International Conference, ITAP 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part I

Agile Processes in Software Engineering and Extreme Programming: 25th International Conference on Agile Software Development, XP 2024, Bozen-Bolzano, Italy, June 4-7, 2024, Proceedings

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Leveraging Applications Of Formal Methods, Verification And Validation. Modeling: 8th International Symposium, Isola 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV

Applied Reconfigurable Computing. Architectures, Tools, And Applications: 16th International Symposium, Arc 2020, Toledo, Spain, April 1-3, 2020, Proceedings

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Formal Modeling And Analysis Of Timed Systems: 18th International Conference, Formats 2020, Vienna, Austria, September 1-3, 2020, Proceedings

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V