טוען...
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 |
| תיאור פיזי: | xiv, 367 p. |
|---|---|
| ביבליוגרפיה: | Includes bibliographical references and index. |
| ISBN: | 9781107656840 |