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.
Juni 21st, 2015 at 10:06 pm
like
Juni 21st, 2015 at 10:55 pm
bagaimana kalau di scan kemudian di share Pak Budi ? bila bapak berkenan untuk share nya
Juni 22nd, 2015 at 10:36 am
Menurut kami sih jangan di buang deh pak , itu bisa jadi referensi pelajaran yang bisa di berikan pada anak cucu kita nanti , hehe
Juni 22nd, 2015 at 10:55 am
Sungbangkan saja ke perpustakaan pak
Juni 22nd, 2015 at 1:57 pm
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
Juni 22nd, 2015 at 2:40 pm
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🙂
Juni 24th, 2015 at 9:03 pm
diumumkan saja pak, siapa tahu ada peminat