Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International ... (Lecture Notes in Computer Science, 15220) - Image 1

£56.55

Springer Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International ... (Lecture Notes in Computer Science, 15220)

Name: Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International ... (Lecture Notes in Computer Science, 15220)
Brand: Springer
Price: 59.99 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 89 days • 89 data points

Historical

Generating forecast...

Price Distribution

Price distribution over 89 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £60 (85 days, 95.5%)

Price range: £57 - £60

Price levels: 2 different prices over 89 days

Product Specifications

Brand: Springer
Format: paperback
ASIN: 303175106X
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 27 October 2024
Listed Since: 06 September 2024

Barcode

No barcode data available

Springer Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International ... (Lecture Notes in Computer Science, 15220)

Price History & Forecast

Price Distribution

Price Analysis

Product Specifications

Barcode

Similar Products You Might Like

Complex Networks & Their Applications XII: Proceedings of The Twelfth International Conference on Complex Networks and their Applications: COMPLEX ... (Studies in Computational Intelligence, 1142)

Complex Networks & Their Applications XII: Proceedings of The Twelfth International Conference on Complex Networks and their Applications: COMPLEX ... (Studies in Computational Intelligence, 1141)

Carbon Mitigation System Engineering: Principles, Methods and Practices

Advanced Technologies, Systems, and Applications IX: Proceedings of the International Symposium on Innovative and Interdisciplinary Applications of ... (Lecture Notes in Networks and Systems, 1143)

Emerging Trends in Computational Science, Computational Biology, Parallel & Distributed Computing, and Internet of Things: 12th International ... in Computer and Information Science, 2970)

Futuristic Computational Systems and Advanced Engineering for the Society: Proceedings of the 6th International Conference on Artificial Intelligence ... Systems and Critical Infrastructures, 15)

Artificial Intelligence and Its Practical Applications in the Digital Economy: Proceedings of the International Conference on Artificial Intelligence ... (Lecture Notes in Networks and Systems, 861)

Optimization Methods in Mathematical Modeling of Technological Processes (Mathematical Engineering)

Intelligent Computing: Proceedings of the 2025 Computing Conference, Volume 2: 1424 (Lecture Notes in Networks and Systems, 1424)

Innovative Design and Engineering Applications of Intelligent Systems Under the Framework of Industry 4.0: Proceedings of 3rd International Conference ... Notes in Electrical Engineering, 856)

Computational Biomechanics for Medicine: Challenges and Solutions in Computing (Lecture Notes in Bioengineering)

Computational Biomechanics for Medicine: Challenges and Solutions in Computing (Lecture Notes in Bioengineering)

Stochastic Optimization Methods: Applications in Engineering and Operations Research

Applied Reconfigurable Computing. Architectures, Tools, and Applications: 19th International Symposium, ARC 2023, Cottbus, Germany, September 27–29, ... (Lecture Notes in Computer Science, 14251)

Algorithms and Architectures for Parallel Processing: 22nd International Conference, ICA3PP 2022, Copenhagen, Denmark, October 10–12, 2022, ... (Lecture Notes in Computer Science, 13777)

Research Techniques for Computer Science, Information Systems, Cybersecurity and Applications of Artificial Intelligence

Advances in Computer Science for Engineering and Education VII: Volume 1: 242 (Lecture Notes on Data Engineering and Communications Technologies, 242)

Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 23rd International Conference, CPAIOR 2026, Rabat, Morocco, ... (Lecture Notes in Computer Science, 16595)

Systems Theory for Engineering Practice: Insights from Physics

Software Engineering for Games in Serious Contexts: Theories, Methods, Tools, and Experiences

From Smart City to Smart Factory for Sustainable Future: Conceptual Framework, Scenarios, and Multidiscipline Perspectives: 1062 (Lecture Notes in Networks and Systems, 1062)

Intelligent Computing: Proceedings of the 2024 Computing Conference, Volume 1 (Lecture Notes in Networks and Systems, 1016)

Optimization, Uncertainty and Machine Learning in Wind Energy Conversion Systems (Engineering Optimization: Methods and Applications)

Advances in Computational Collective Intelligence: 14th International Conference, ICCCI 2022, Hammamet, Tunisia, September 28–30, 2022, Proceedings: ... in Computer and Information Science, 1653)