Đang tải...

Building high integrity applications with SPARK /

Chi tiết về thư mục
Tác giả chính: McCormick, John W
Tác giả khác: Chapin, Peter C.
Định dạng: Printed Book
Được phát hành: New York: Cambridge University Press, 2015.
Những chủ đề:
Truy cập trực tuyến:https://books.google.co.in/books?id=Yh9TCgAAQBAJ&printsec=frontcover&dq=9781107040731&hl=en&sa=X&ved=0ahUKEwjbrfLU2YXgAhUHs48KHW79CL0Q6AEIKDAA#v=onepage&q=9781107040731&f=false