טוען...

Building high integrity applications with SPARK /

מידע ביבליוגרפי
מחבר ראשי: McCormick, John W
מחברים אחרים: Chapin, Peter C.
פורמט: 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