1 option
Juggling Formal Methods and Security : Essays Dedicated to Sjouke Mauw on the Occasion of His 65th Birthday.
Springer Nature - Springer Computer Science eBooks 2026 English International Available online
View online- Format:
- Book
- Author/Creator:
- Fila, Barbara.
- Series:
- Lecture Notes in Computer Science Series
- Lecture Notes in Computer Science Series ; v.16365
- Language:
- English
- Physical Description:
- 1 online resource (429 pages)
- Edition:
- 1st ed.
- Place of Publication:
- Cham : Springer, 2026.
- Summary:
- This Festschrift is dedicated to Professor Sjouke Mauw on the occasion of his 65th birthday.Prof.Mauw obtained his PhD from the University of Amsterdam and subsequently held faculty and research positions at Eindhoven University of Technology and at Centrum Wiskunde & Informatica (CWI) in Amsterdam.
- Notes:
- Description based on publisher supplied metadata and other sources.
- ISBN:
- 9783032206848
- OCLC:
- 1581078219
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.