Formal methods for real-time computing
de Constance Heitmeyer, Dino Mandrioli
xvii, 271 p. : 24 cm
Materias
Ediciones (1)
- Formal methods for real-time computing (1996)
John Wiley · inglés
de Constance Heitmeyer, Dino Mandrioli
xvii, 271 p. : 24 cm
John Wiley · inglés
