Product Overview
Importante: este producto es importado y puede tener una demora de 30 días. 
Titulo: Verifying Temporal Properties Of Systems : J.c. Bradfield
Formato: Blanda
Autor: J.C. Bradfield
Editorial: Springer-Verlag New York Inc.
Lenguaje: English
ISBN: 9781468468212