| DaftarIsitemplate |
| Call Number |
| Ringdis-014 |
| Title |
| Modular and compositional verification for imperative programs and concurrent systems ( verifikasi yang modular dan komposisional untuk program imperatif dan sistem konkuren) |
| Author |
| Ade Azurat; |
| Publisher |
| Depok: Fakultas Ilmu Komputer, 2007 |
| Subject |
| Location |