Yazar
r d hoare
1 cilt bulundu.
Cilt sonuçları
VDM '90
VDM-Europe. International Symposium, D. Bjorner, C. A. R. Hoare · Springer-Verlag
580 sayfa · 1990
Development / Congresses / Computer software / Logic Design / Programming - General
Yükleniyor
Yükleniyor
Yazar
1 cilt bulundu.
VDM-Europe. International Symposium, D. Bjorner, C. A. R. Hoare · Springer-Verlag
580 sayfa · 1990
Development / Congresses / Computer software / Logic Design / Programming - General