Yazar
Kai Engelhardt
1 cilt bulundu.
Cilt sonuçları
Data refinement
W.-P. de Roever, Willem-Paul de Roever, Kai Engelhardt · Cambridge University Press
429 sayfa · 1998
Computer simulation / Verification / Data structures (Computer science) / Computer programs / Databases & data structures