Загрузка...

Building high integrity applications with SPARK /

Библиографические подробности
Главный автор: McCormick, John W
Другие авторы: Chapin, Peter C.
Формат: Printed Book
Опубликовано: New York: Cambridge University Press, 2015.
Предметы:
Online-ссылка: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=false

MG University

Подробно о фондах из MG University
Шифр: 004.2 Q5
Копировать Недоступно состояние Live" What does mean the status Live (working)