1 option
Rigorous State-Based Methods : 12th International Conference, ABZ 2026, Tokyo, Japan, May 18-20, 2026, Proceedings.
Springer Nature - Springer Computer Science eBooks 2026 English International Available online
View online- Format:
- Book
- Author/Creator:
- Ishikawa, Fuyuki.
- Series:
- Lecture Notes in Computer Science Series
- Lecture Notes in Computer Science Series ; v.16579
- Language:
- English
- Physical Description:
- 1 online resource (519 pages)
- Edition:
- 1st ed.
- Place of Publication:
- Cham : Springer, 2026.
- Summary:
- This book constitutes the refereed proceedings of the 12th International Conference on Rigorous State-Based Methods, ABZ 2026, held in Tokyo, Japan, during May 2026.The 15 full papers, 3 short papers and 2 ABZ 2026 case study papers presented in this book were carefully reviewed and selected from 25 submissions.
- Contents:
- Lecture Notes in Computer Science
- Rigorous State-Based Methods
- Preface
- Organization
- Contents
- Research Track
- Case Study Track
- Journal-First Talk
- Author Index.
- Notes:
- Description based on publisher supplied metadata and other sources.
- ISBN:
- 9783032267528
- OCLC:
- 1602321123
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.