Vista normal Vista MARC Vista ISBD

Formal methods for real-time computing / ed. by Constance Heitmeyer and Dino Mandrioli - 271 páginas - Trends in software ; 5 .

Incluye referencias bibliograficas e indices.

ISBN: 0471958352 (papel alcalino)

Subjects--Topical Terms:
Procesamiento de datos en tiempo real

LC Class. No.: QA76.54 / F667

Dewey Class. No.: 005.2