Đang tải...
Building high integrity applications with SPARK /
Tác giả chính: | |
---|---|
Tác giả khá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 |
Internet
https://books.google.co.in/books?id=Yh9TCgAAQBAJ&printsec=frontcover&dq=9781107040731&hl=en&sa=X&ved=0ahUKEwjbrfLU2YXgAhUHs48KHW79CL0Q6AEIKDAA#v=onepage&q=9781107040731&f=falseMG University
Số hiệu: |
004.2 Q5 |
---|---|
Sao chép | Trạng thái trực tiếp không khả dụng |