Vista normal Vista MARC

Computer science. (Término temático)

Forma preferida: Computer science.

Machine generated authority record.

Work cat.: (UQROO)66355: Bouajjani, Ahmed. editor. 152449, Computer Aided Verification