Del 14500
Verification, Model Checking, and Abstract Interpretation
Rayna Dimitrova, Ori Lahav, Sebastian Wolff
Häftad, 2024
833 kr
Verification, Model Checking, and Abstract Interpretation
25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II
E-bok
Engelska, 20231 022 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
Beskrivning
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 carefully reviewed and selected from 74 submissions. They were organized in topical sections as follows:
Part I: Abstract interpretation; infinite-state systems; model checking and synthesis; SAT, SMT, and automated reasoning;
Part II: Concurrency; neural networks; probabilistic and quantum programs; program and system verification; runtime verification; security and privacy;
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 14499
Verification, Model Checking, and Abstract Interpretation
Rayna Dimitrova, Ori Lahav, Sebastian Wolff
Häftad, 2024
837 kr
Verification, Model Checking, and Abstract Interpretation
Sebastian Wolff, Ori Lahav, Rayna Dimitrova
E-bok
20231 031 kr
Del 13124
Software Verification
Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina
Häftad, 2022
616 kr
Imágenes Cardíacas en Cardiología del Ejercicio
Roberto Peidro, Carlos Franco, Patricio Venegas, Sebastian Wolff
E-bok
2025602 kr
- -30%
- -19%