Bacaan S3 Saya

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.

  1. John Rusby – Formal Methods and the Ceritification of Critical Systems
  2. Paolo Prinetto and Paolo Camuati (eds.) – Correct Hardware Design Methodologies, North Holland, 1991
  3. 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.

About Budi Rahardjo

Teknologi informasi, security, musik, buku Lihat semua pos milik Budi Rahardjo

7 responses to “Bacaan S3 Saya

Tinggalkan Balasan

Isikan data di bawah atau klik salah satu ikon untuk log in:

Logo WordPress.com

You are commenting using your WordPress.com account. Logout / Ubah )

Gambar Twitter

You are commenting using your Twitter account. Logout / Ubah )

Foto Facebook

You are commenting using your Facebook account. Logout / Ubah )

Foto Google+

You are commenting using your Google+ account. Logout / Ubah )

Connecting to %s

%d blogger menyukai ini: