Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, ... (Lecture Notes in Computer Science, 13703) - Image 1

£53.88

Springer Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, ... (Lecture Notes in Computer Science, 13703)

Name: Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, ... (Lecture Notes in Computer Science, 13703)
Brand: Springer
Price: 15.95 GBP
Availability: InStock

AI & Machine Learning

Price History & Forecast

Last 85 days • 85 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 85 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £54 (40 days, 47.1%)

Price range: £16 - £54

Price levels: 3 different prices over 85 days

Description

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3031197585
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 20 October 2022
Listed Since: 15 September 2022

Barcode

No barcode data available

Springer Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, ... (Lecture Notes in Computer Science, 13703)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2016: 454 (Lecture Notes in Electrical Engineering, 454)

Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected ... (Lecture Notes in Computer Science, 10712)

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised ... (Lecture Notes in Computer Science, 5902)

Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings: 8174 (Lecture Notes in Computer Science, 8174)

Dependable Software Engineering. Theories, Tools, and Applications: 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, ... (Lecture Notes in Computer Science, 13071)

Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, ... (Lecture Notes in Computer Science, 3308)

Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08: 36 (Lecture Notes in Electrical Engineering, 36)

Achieving Quality in Software: Proceedings of the third international conference on achieving quality in software, 1996 (IFIP Advances in Information and Communication Technology)

Readings in Artificial Intelligence and Software Engineering

Advancing Software Engineering Through AI, Federated Learning, and Large Language Models

Essential Spectrum-based Fault Localization

Modeling in Event-B: System and Software Engineering

Software Specification Methods: An Overview Using a Case Study (Formal Approaches to Computing and Information Technology (FACIT))

Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings: 10695 (Lecture Notes in Computer Science, 10695)

Modeling Companion for Software Practitioners

Software Engineering and Methodology for Emerging Domains: 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3–5, ... in Computer and Information Science, 675)

Concise Guide to Software Engineering: From Fundamentals to Application Methods (Undergraduate Topics in Computer Science)

Product Lifecycle Management for Digital Transformation of Industries: 13th IFIP WG 5.1 International Conference, PLM 2016, Columbia, SC, USA, July ... and Communication Technology, 492)

Concurrency 88: International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings: 335 (Lecture Notes in Computer Science, 335)

Relating Software Requirements and Architectures

Quality Assurance of Agent-Based and Self-Managed Systems

Computer Safety, Reliability, and Security: 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 14-27, 2013, Proceedings: 8153 (Lecture Notes in Computer Science, 8153)

ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and ... in Computer and Information Science, 433)

Enterprise, Business-Process and Information Systems Modeling: 20th International Conference, BPMDS 2019, 24th International Conference, EMMSAD 2019, ... in Business Information Processing, 352)