Normal view
MARC view
- Dillev, Antoni
Dillev, Antoni (Personal Name)
Machine generated authority record.
Work cat.: (NUST): Dillev, Antoni, Z an introduction to formal methods, 1994