Reasoning about dynamically evolving process structures proof theory for the parallel object-oriented langinage pool

BOER, Frank Siphe de, Promotor Prof.Dr. J.W. de Baker

1991 | Disertasi | S3--Vrije Universiteit te Amsterdam

Kata Kunci : Bahasa Komputer,Komputer,Informatika