Hana Chockler – författare
878 kr
Skickas inom 3-6 vardagar
958 kr
Skickas inom 5-8 vardagar
797 kr
Skickas inom 3-6 vardagar
861 kr
Skickas inom 5-8 vardagar
561 kr
Skickas inom 10-15 vardagar
708 kr
Läs direkt efter köp
This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book.
561 kr
Skickas inom 10-15 vardagar
Computer Aided Verification
30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
561 kr
Skickas inom 10-15 vardagar
Computer Aided Verification
30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
561 kr
Skickas inom 10-15 vardagar
561 kr
Skickas inom 10-15 vardagar
708 kr
Läs direkt efter köp