Building High Integrity Applications with SPARK
John W. McCormick
Peter C. Chapin
Cambridge University Press
Basım Tarihi:
2015-08-01
ISBN:
9781107040731
Kapak Türü:
Ciltli
Dil:
İngilizce
Satışta Yok
En son güncelleme:2025-05-23 03:05:36
