Yazar
Stephen J Goldsack
5 cilt bulundu.
Cilt sonuçları
Formal methods and object technology
Stephen J. Goldsack · Springer
368 sayfa · 1996
LOTOS / Programmation orientée objets (informatique) / Conception orientée objets (informatique) / VDM++ / Object-oriented programming (Computer science)
Ada for specification
Stephen J. Goldsack · Cambridge University Press
265 sayfa · 1985
Ada (Computer program language) / Ada (computer program language) / European federation
Formal Methods and Object Technology
Stephen J. Goldsack, Stuart J. H. Kent · Springer London, Limited
Sayfa sayısı yok · 2012
Kategori yok