載入...
Building high integrity applications with SPARK /
| 主要作者: | |
|---|---|
| 其他作者: | |
| 格式: | Printed Book |
| 出版: |
New York:
Cambridge University Press,
2015.
|
| 主題: | |
| 在線閱讀: | https://books.google.co.in/books?id=Yh9TCgAAQBAJ&printsec=frontcover&dq=9781107040731&hl=en&sa=X&ved=0ahUKEwjbrfLU2YXgAhUHs48KHW79CL0Q6AEIKDAA#v=onepage&q=9781107040731&f=false |
因特網
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
| 索引號: |
004.2 Q5 |
|---|---|
| 復印件 | Live Status Unavailable |