Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
- First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings
Engelsk
Bogcover for Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems af , 9783031684159
Specifikationer
Sprog:
Engelsk
Sider:
338
ISBN-13:
9783031684159
Indbinding:
Paperback
ISBN-10:
303168415X
Udg. Dato:
29 aug 2024
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
29 aug 2024

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems

- First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings
Engelsk
Paperback 2024
Format:

Bog beskrivelse
This book constitutes the proceedings of the First International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2024, which took place in Calgary, AB, Canada, during September 2024.
... Vis mere

Forlags Vejl. pris
699,01 kr
Hos Booktok
531 kr
spar 24%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
338
ISBN-13:
9783031684159
Indbinding:
Paperback
ISBN-10:
303168415X
Udg. Dato:
29 aug 2024
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
29 aug 2024
Finder produkter...
Kategori sammenhænge