Handbook of Model Checking Clarke Edmund M. Jr.Pevná vazba
Handbook of Model Checking Clarke Edmund M. Jr.Pevná vazba Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing…
od €
Žiadne ponuky.
Specifikacia Handbook of Model Checking Clarke Edmund M. Jr.Pevná vazba
Handbook of Model Checking Clarke Edmund M. Jr.Pevná vazba
Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from re
Handbook of Model Checking Clarke Edmund M. Jr.Pevná vazba patrí medzi produkty, ktoré ponúkajú vyvážený pomer kvality a ceny. V hornej časti stránky nájdeš hlavný prehľad, nižšie podrobné vlastnosti a technické parametre.
Model Checking Quantum Systems
od 67 €