Domain Modeling and the Duration Calculus

Đã lưu trong:
Chi tiết về thư mục
Những tác giả chính: George, Chris, Liu, Zhiming, Woodcock, Jim
Đị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:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82022
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-82022
record_format dspace
spelling oai:scholar.dlu.edu.vn:DLU123456789-820222023-10-06T02:09:49Z Domain Modeling and the Duration Calculus George, Chris Liu, Zhiming Woodcock, Jim Computer Science Software Engineering/Programming and Operating Systems Computer System Implementation 2020-02-20T02:06:28Z 2020-02-20T02:06:28Z 2007 Book 978-3-540-74963-9 978-3-540-74964-6 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82022 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
Software Engineering/Programming and Operating Systems
Computer System Implementation
spellingShingle Computer Science
Software Engineering/Programming and Operating Systems
Computer System Implementation
George, Chris
Liu, Zhiming
Woodcock, Jim
Domain Modeling and the Duration Calculus
format Book
author George, Chris
Liu, Zhiming
Woodcock, Jim
author_facet George, Chris
Liu, Zhiming
Woodcock, Jim
author_sort George, Chris
title Domain Modeling and the Duration Calculus
title_short Domain Modeling and the Duration Calculus
title_full Domain Modeling and the Duration Calculus
title_fullStr Domain Modeling and the Duration Calculus
title_full_unstemmed Domain Modeling and the Duration Calculus
title_sort domain modeling and the duration calculus
publisher Springer Berlin Heidelberg
publishDate 2020
url https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82022
_version_ 1819813029325307904