Barusan beberes ruang kerja. Ada setumpuk makalah (fotocopyan) di atas meja. Makalah-makalah ini membantu saya menyelesaikan studi S3 di Kanada. Ketika pulang, saya bawa. Kalau sekarang lucu sekali mau berat-berat membawa makalah-makalah ini. Ya perlu diingat masa itu internet belum sekencang sekarang. Mau cari ini dan itu masih susah.
Lagi mikir-mikir. Apa saya buang saja ya? Sudah saya lihat-lihat di internet dan ada softcopynya.
- John Rusby – Formal Methods and the Ceritification of Critical Systems
- Paolo Prinetto and Paolo Camuati (eds.) – Correct Hardware Design Methodologies, North Holland, 1991
- Aarti Gupta, Formal Hardware Verification Methods: a Survey, School of Computer Science, Carnegie Mellon University, 1992
Oh ya. Makalah-makalah ini pernah saya gunakan juga mengajar kuliah “Metoda Formal” di ITB. Sayangnya peminatnya makin lama makin sedikit sehingga akhirnya terpaksa ditutup.
Kembali ke pertanyaan saya, buang saja ya? Toh sudah ada versi digitalnya di internet.
Padepokan Budi Rahardjo 
like
bagaimana kalau di scan kemudian di share Pak Budi ? bila bapak berkenan untuk share nya
Menurut kami sih jangan di buang deh pak , itu bisa jadi referensi pelajaran yang bisa di berikan pada anak cucu kita nanti , hehe
Sungbangkan saja ke perpustakaan pak
kalau memang diinternet sudah ada ndak papa dibuang, kecuali kalau benar benar eman atau ada “riwayat” krn telah membantu sehingga bisa jadi kenang-kenangan.. hehehe
Saya lebih suka kalau di sumbagkan sj Pak. Krn akn lebih banyak manfaatnya jika dibaca orang lain .
Sementara klo kita rindu dengan buku2 itu, masih bisa meminjam nya lagi di perpusatakaan tsb 🙂
diumumkan saja pak, siapa tahu ada peminat