Call Number | 005.133 Bow z |
Collection Type | Indeks Artikel LNCS |
Title | An improved recipe for specifying reactive sysem in Z, Hal. 275-294 |
Author | Andy S. Evans; |
Publisher | Springer, 1997 |
Subject | |
Location |
Nomor Panggil | ID Koleksi | Status |
---|---|---|
005.133 Bow z | TERSEDIA |