Temporal Logic and State Systems

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Kröger, Fred, Merz, Stephan
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer Berlin Heidelberg 2020
Những chủ đề:	Computer Science Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81643
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-81643
record_format	dspace
spelling	oai:scholar.dlu.edu.vn:DLU123456789-816432023-10-06T01:51:56Z Temporal Logic and State Systems Kröger, Fred Merz, Stephan Computer Science Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages 2020-02-20T01:42:24Z 2020-02-20T01:42:24Z 2008 Book 978-3-540-67401-6 978-3-540-68635-4 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81643 en Texts in Theoretical Computer Science. An EATCS Series 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 Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages
spellingShingle	Computer Science Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Kröger, Fred Merz, Stephan Temporal Logic and State Systems
format	Book
author	Kröger, Fred Merz, Stephan
author_facet	Kröger, Fred Merz, Stephan
author_sort	Kröger, Fred
title	Temporal Logic and State Systems
title_short	Temporal Logic and State Systems
title_full	Temporal Logic and State Systems
title_fullStr	Temporal Logic and State Systems
title_full_unstemmed	Temporal Logic and State Systems
title_sort	temporal logic and state systems
publisher	Springer Berlin Heidelberg
publishDate	2020
url	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81643
_version_	1819780505406537728

Những quyển sách tương tự