Related Books
Language: en
Pages: 593
Pages: 593
Type: BOOK - Published: 2022-09-06 - Publisher: Springer Nature
This Festschrift, dedicated to Frits W. Vaandrager on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Frits has
Language: en
Pages: 320
Pages: 320
Type: BOOK - Published: 2023-11-09 - Publisher: Springer Nature
This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Austra
Language: en
Pages: 692
Pages: 692
Type: BOOK - Published: - Publisher: Springer Nature
Language: en
Pages: 575
Pages: 575
Type: BOOK - Published: 2023-04-20 - Publisher: Springer Nature
This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS
Language: en
Pages: 284
Pages: 284
Type: BOOK - Published: - Publisher: Springer Nature