Isbn: 9783032156990 - verification, model checking, and abstract interpretation: 27th international conference, vmcai 2026, rennes, france, january 12–13, 2026, proceedings (lecture notes in computer science, band 16417) (3 Ergebnisse)

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 27th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2026, which took place in Rennes, France, during January 12-13, 2026.The 18 full papers presented in the proceedings were carefully reviewed and selected from 54 submissions. They deal with formal verification model checking, abstract interpretation, fostering interaction, cross-fertilization, and advancement of hybrid methods that combine these and related approaches.…

Paperback. Zustand: Brand New. 432 pages. 6.14x0.88x9.21 inches. In Stock.

Taschenbuch. Zustand: Neu. Verification, Model Checking, and Abstract Interpretation | 27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings | Yu-Fang Chen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxii | Englisch | 2026 | Springer | EAN 9783032156990 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…