Formal Verification of Asynchronous Systems
- ISBN 10 : OCLC:184893913
- Judul : Formal Verification of Asynchronous Systems
- Pengarang : Budi Rahardjo,
- Bahasa : en
- Tahun : 1996
- Halaman : 300
- Halaman : 300
- Google Book : http://books.google.co.id/books?id=Blj1SgAACAAJ&dq=inauthor:budi+rahardjo&hl=&source=gbs_api
-
Ketersediaan :