This book presents thoroughly revised tutorial papers based on lectures given by leading researchers at the International Training School on Domain Modeling and the Duration Calculus, held in Shanghai, China, as an associated event of ICTAC 2007. Topics addressed in detail are: development of real-time systems, domain engineering using abstract modeling, the area of duration calculus, and formal methods like language description using the operational semantics approach.
€63.06
Mục lục
Delivering Real-Time Behaviour.- Applicative Modelling with RAISE.- A Theory of Duration Calculus with Application.- Understanding Programming Language Concepts Via Operational Semantics.
Mua cuốn sách điện tử này và nhận thêm 1 cuốn MIỄN PHÍ!
Ngôn ngữ Anh ● định dạng PDF ● Trang 240 ● ISBN 9783540749646 ● Kích thước tập tin 3.4 MB ● Biên tập viên Chris George & Zhiming Liu ● Nhà xuất bản Springer Berlin ● Thành phố Heidelberg ● Quốc gia DE ● Được phát hành 2007 ● Có thể tải xuống 24 tháng ● Tiền tệ EUR ● TÔI 2163736 ● Sao chép bảo vệ Adobe DRM
Yêu cầu trình đọc ebook có khả năng DRM
Thêm sách điện tử từ cùng một tác giả / Biên tập viên
16.480 Ebooks trong thể loại này
