Ngôn ngữ:

Teaching Formal Methods CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings

TFM 2004 Ghent, Belgium 2004 ; Dean Neville; Boute R. T

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

Nhan đề:
Teaching Formal Methods CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings
Tác giả: TFM 2004 Ghent, Belgium 2004
Tác giả: Dean Neville; Boute R. T
Chủ đề: Formal methods (Computer science) -- Congresses. -- Study and teaching; Computer software -- Congresses. -- Development -- Study and teaching
Nhan đề liên quan: Ấn phẩm liên tục:Lecture notes in computer science 3294
Nơi xuất bản: Berlin New York Springer
Năm xuất bản: c2004
Định dạng: x, 248 p. ill. 24 cm..
Ngôn ngữ: English
Số nhận dạng: ISBN3540236112
Phân loại DDC: 005.13 TEA
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