Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Model Checking, Synthesis, and Learning
- Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
Engelsk
Bogcover for Model Checking, Synthesis, and Learning af , 9783030913830
Specifikationer
Sprog:
Engelsk
Sider:
219
ISBN-13:
9783030913830
Indbinding:
Paperback
ISBN-10:
303091383X
Udg. Dato:
22 nov 2021
Størrelse i cm:
23,4 x 15,6 x 1,7
Oplagsdato:
22 nov 2021

Model Checking, Synthesis, and Learning

- Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
Engelsk
Paperback 2021
Format:

Bog beskrivelse
His works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both the diversity and the depth of his research.
... Vis mere

Forlags Vejl. pris
512,58 kr
Hos Booktok
491 kr
spar 4%
Læg i kurv nu
Sikker betaling
6 - 8 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
219
ISBN-13:
9783030913830
Indbinding:
Paperback
ISBN-10:
303091383X
Udg. Dato:
22 nov 2021
Størrelse i cm:
23,4 x 15,6 x 1,7
Oplagsdato:
22 nov 2021
Finder produkter...
Kategori sammenhænge