Amazon Marketplace
Rigorous State-Based Methods: 12th International Conference, ABZ 2026, Tokyo, Japan, May 18–20, 2026, Proceedings (Lecture Notes in Computer Science, Band 16579)
AmazonRigorous State-Based Methods: 12th International Conference, ABZ 2026, Tokyo, Japan, May 18–20, 2026, Proceedings (Lecture Notes in Computer Science, 16579)