Atsiliepimai
Formatai:
Aprašymas
This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, features papers based on talks at the symposium "25 Years of Model Checking," 25MC, which was part of the 18th International Conference on Computer Aided Verification.Formatai:
DĖMESIO!
Ši knyga pateikiama ACSM formatu. Jis nėra tinkamas įprastoms skaityklėms, kurios palaiko EPUB ar MOBI formato el. knygas.
Daugiau informacijos apie ACSM formato knygas ir kaip jas skaityti rasite čia.
DĖMESIO!
Tai yra elektroninė knyga, skirta skaityti el. knygų skaityklėse, telefonuose, planšetėse ar kompiuteriuose.
Daugiau informacijos apie el. knygas čia >
Atsiliepimai