Bernhard K. Aichernig & Tom Maibaum 
Formal Methods at the Crossroads. From Panacea to Foundational Support [PDF ebook] 
10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers

Ủng hộ
€57.85
phương thức thanh toán
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 ● ISBN 9783540400073 ● Biên tập viên Bernhard K. Aichernig & Tom Maibaum ● Nhà xuất bản Springer Berlin Heidelberg ● Được phát hành 2011 ● Có thể tải xuống 3 lần ● Tiền tệ EUR ● TÔI 6318047 ● 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.746 Ebooks trong thể loại này