Normal view
MARC view
- COMPUTER programming
COMPUTER programming(Topical Term)
Machine generated authority record
Work cat.: (JO-AjAnu)250: Gabbay,dove m/Reynolds,mark, author 471, Temporal Logic Mathematical Foundations and Computiona Aspects vol.2