Verification of Concurrent Programs: Temporal Proof Principles
- ISBN 10 : OCLC:897749799
- Judul : Verification of Concurrent Programs: Temporal Proof Principles
- Pengarang : Z. Manna, A. Pnueli, A. Pnueli, A. Pnueli, A. Pnueli, A. Pnueli,
- Bahasa : en
- Tahun : 1981
- Halaman : 53
- Halaman : 53
- Google Book : http://books.google.co.id/books?id=x-8DMQAACAAJ&dq=inauthor:manna%27&hl=&source=gbs_api
-
Ketersediaan :