Formal Methods and Stochastic Models for Performance Evaluation

Đã lưu trong:
Chi tiết về thư mục
Tác giả chính: Wolter, Katinka
Định dạng: Sách
Ngôn ngữ:English
Được phát hành: Springer Berlin Heidelberg 2020
Những chủ đề:
Truy cập trực tuyến:http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82044
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
id oai:scholar.dlu.edu.vn:DLU123456789-82044
record_format dspace
spelling oai:scholar.dlu.edu.vn:DLU123456789-820442020-02-20T02:07:24Z Formal Methods and Stochastic Models for Performance Evaluation Wolter, Katinka Computer Science Theory of Computation Software Engineering 2020-02-20T02:07:24Z 2020-02-20T02:07:24Z 2007 Book 978-3-540-75210-3 978-3-540-75211-0 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82044 en Lecture Notes in Computer Science Springer-Verlag Berlin Heidelberg application/pdf Springer Berlin Heidelberg
institution Thư viện Trường Đại học Đà Lạt
collection Thư viện số
language English
topic Computer Science
Theory of Computation
Software Engineering
spellingShingle Computer Science
Theory of Computation
Software Engineering
Wolter, Katinka
Formal Methods and Stochastic Models for Performance Evaluation
format Book
author Wolter, Katinka
author_facet Wolter, Katinka
author_sort Wolter, Katinka
title Formal Methods and Stochastic Models for Performance Evaluation
title_short Formal Methods and Stochastic Models for Performance Evaluation
title_full Formal Methods and Stochastic Models for Performance Evaluation
title_fullStr Formal Methods and Stochastic Models for Performance Evaluation
title_full_unstemmed Formal Methods and Stochastic Models for Performance Evaluation
title_sort formal methods and stochastic models for performance evaluation
publisher Springer Berlin Heidelberg
publishDate 2020
url http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82044
_version_ 1757671412917600256