Ngôn ngữ:

Formal methods for the design of real-Time systems International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures

International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy 2004 4th ; Corradini Flavio; Bernardo Marco

Kiểm tra tình trạng sẵn có của tài liệu

Nhan đề:
Formal methods for the design of real-Time systems International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures
Tác giả: International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy 2004 4th
Tác giả: Corradini Flavio; Bernardo Marco
Chủ đề: Real-time data processing -- Congresses; Formal methods (Computer science) -- Congresses; Computer systems -- Congresses; Computer software -- Congresses
Nhan đề liên quan: Ấn phẩm liên tục:Lecture notes in computer science 3185
Nơi xuất bản: New York Berlin Springer
Năm xuất bản: c2004
Định dạng: vi, 293 p. ill. 24 cm..
Ngôn ngữ: English
Số nhận dạng: ISBN3540230688
Phân loại DDC: 004 FOR
Nguồn: Bộ sưu tập in

Liên kết riêng

Trở lại danh sách kết quả

DANH MỤC		LIÊN HỆ
Giới thiệu	Tìm kiếm	TRUNG TÂM SỐ - ĐẠI HỌC THÁI NGUYÊN
Sản phẩm	Sử dụng	Phường Tân Thịnh-Thành phố Thái Nguyên
Dịch vụ	Hỏi đáp	Điện thoại: (+84)-2803.852.443 Fax: 02803.656.601
Tài liệu mở		Email:tthl(a)tnu.edu.vn

Đang tìm kiếm cho
trongscope:(ELIBLRC),scope:(SFX),scope:(ILIB),scope:("TNU"),primo_central_multiple_fe
Xem ngay kết quả tìm kiếm truy xuất đầu tiên