Universidad Nacional Autónoma de México
Instituto de Investigaciones en Materiales
Catálogo de la Biblioteca

Specification and proof in real-time csp /

Davies, Jim,

Specification and proof in real-time csp / Jim Davies - xvii, 180 páginas - Distinguished dissertations in computer science .

0521450551


Procesamiento de datos en tiempo real

QA76.54 / D38

Universidad Nacional Autónoma de México 

Biblioteca del Instituto de Investigaciones en Materiales

©2023 Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM

Aviso de Privacidad