Reasoning about dynamically evolving process structures proof theory for the parallel object-oriented langinage pool
Main Authors: | , BOER, Frank Siphe de, , Promotor Prof.Dr. J.W. de Baker |
---|---|
Format: | Thesis NonPeerReviewed |
Terbitan: |
[Amsterdam] : Vrije Universiteit
, 1991
|
Subjects: | |
Online Access: |
https://repository.ugm.ac.id/51609/ http://etd.ugm.ac.id/index.php?mod=penelitian_detail&sub=PenelitianDetail&act=view&typ=html&buku_id=12474 |
Internet
https://repository.ugm.ac.id/51609/http://etd.ugm.ac.id/index.php?mod=penelitian_detail&sub=PenelitianDetail&act=view&typ=html&buku_id=12474
Lokasi
Koleksi | UGM Repository |
---|---|
Gedung | Perpustakaan Pusat Universitas Gadjah Mada |
Institusi | Universitas Gadjah Mada |
Kota | SLEMAN |
Provinsi | DAERAH ISTIMEWA YOGYAKARTA |
Kontak | Butuh informasi lebih lanjut? Hubungi pustakawan institusi ini. |