Normal view
MARC view
- Piterman, Nir
Piterman, Nir (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Piterman, Nir. editor., Tools and Algorithms for the Construction and Analysis of Systems, 2013.