Tools and Algorithms for the Construction and Analysis of Systems

Full text!
Type:
e-book
Titel:
Tools and Algorithms for the Construction and Analysis of Systems
Auteur:
Sankaranarayanan, Sriram; Sharygina, Natasha
Taal:
Engels
Uitgever:
Springer Nature Switzerland 2023
ISBN:
3-031-30819-0
3-031-30820-4
Permalink:
http://bibtest.howest.be/catalog/ebk03:5720000000183521