Kansikuva

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I /

The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024. The 30 full papers presented in the proceedings were carefu...

Tallennettuna:

Bibliografiset tiedot
Yhteisötekijä:	SpringerLink (Online service)
Muut tekijät:	Dimitrova, Rayna (Toimittaja), Lahav, Ori (Toimittaja), Wolff, Sebastian (Toimittaja)
Aineistotyyppi:	Elektroninen E-kirja
Kieli:	englanti
Julkaistu:	Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Painos:	1st ed. 2024.
Sarja:	Lecture Notes in Computer Science, 14499
Aiheet:	Computer science. Computer science > Mathematics. Logic programming. Computers, Special purpose. Software engineering. Microprogramming . Theory of Computation. Mathematics of Computing. Logic in AI. Special Purpose and Application-Based Systems. Software Engineering. Control Structures and Microprogramming.
Linkit:	https://doi.org/10.1007/978-3-031-50524-9
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

Samankaltaisia teoksia

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II /
Julkaistu: (2024)

Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings /
Julkaistu: (2023)

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I /
Julkaistu: (2025)

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II /
Julkaistu: (2025)

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 /
Julkaistu: (2025)

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

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 /
Julkaistu: (2025)

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 /
Julkaistu: (2025)

Software Technologies 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11–13, 2022, Revised Selected Papers /
Julkaistu: (2023)

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I /
Julkaistu: (2025)

Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers /
Julkaistu: (2025)

Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10–12, 2023, Revised Selected Papers /
Julkaistu: (2024)

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers /
Julkaistu: (2024)

Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers /
Julkaistu: (2023)

Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers /
Julkaistu: (2023)

Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23–24, 2024, Revised Selected Papers, Part II /
Julkaistu: (2025)

Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23–24, 2024, Revised Selected Papers, Part I /
Julkaistu: (2025)

Engineering of Computer-Based Systems 8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings /
Julkaistu: (2024)

Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26–30, 2024, Proceedings, Part II /
Julkaistu: (2024)

High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12–16, 2024, Revised Selected Papers /
Julkaistu: (2025)

Supercomputing 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25–26, 2023, Revised Selected Papers, Part I /
Julkaistu: (2023)

Supercomputing 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25–26, 2023, Revised Selected Papers, Part II /
Julkaistu: (2023)

Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings /
Julkaistu: (2023)

Euro-Par 2023: Parallel Processing 29th International Conference on Parallel and Distributed Computing, Limassol, Cyprus, August 28 – September 1, 2023, Proceedings /
Julkaistu: (2023)

Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13–15, 2024, Proceedings /
Julkaistu: (2025)

Data Management Technologies and Applications 12th International Conference, DATA 2023, Rome, Italy, July 11–13, 2023, Revised Selected Papers /
Julkaistu: (2024)

Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings /
Julkaistu: (2025)

Euro-Par 2024: Parallel Processing Workshops Euro-Par 2024 International Workshops, Madrid, Spain, August 26–30, 2024, Proceedings, Part II /
Julkaistu: (2025)

Euro-Par 2024: Parallel Processing Workshops Euro-Par 2024 International Workshops, Madrid, Spain, August 26–30, 2024, Proceedings, Part I /
Julkaistu: (2025)

Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings /
Julkaistu: (2024)

Advancing OpenMP for Future Accelerators 20th International Workshop on OpenMP, IWOMP 2024, Perth, WA, Australia, September 23–25, 2024, Proceedings /
Julkaistu: (2024)

Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26–30, 2024, Proceedings, Part III /
Julkaistu: (2024)

Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26–30, 2024, Proceedings, Part I /
Julkaistu: (2024)

Parallel and Distributed Computing, Applications and Technologies 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7–9, 2022, Proceedings /
Julkaistu: (2023)

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings /
Julkaistu: (2025)

Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings /
Julkaistu: (2024)

Designing Modern Embedded Systems: Software, Hardware, and Applications 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3–4, 2022, Proceedings /
Julkaistu: (2023)

Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings /
Julkaistu: (2023)

Dependable Computing – EDCC 2024 Workshops SafeAutonomy, TRUST in BLOCKCHAIN, Leuven, Belgium, April 8, 2024, Proceedings /
Julkaistu: (2024)

Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings /
Julkaistu: (2023)