Rigorous State-Based Methods : 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings

Type:

e-book

Titel:

Rigorous State-Based Methods : 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings

Auteur:

Glässer, Uwe.; Creissac Campos, Jose; Méry, Dominique; Palanque, Philippe

Taal:

Engels

Uitgever:

Cham Springer 2023

ISBN:

3-031-33162-1
3-031-33163-X

Permalink:

http://bibtest.howest.be/catalog/ebk03:26707048000041