Product Overview
Importante: este producto es importado y puede tener una demora de 30 días. 
Titulo: Verification Of Sequential And Concurrent Programs - Krzy...
Formato: 
Autor: Krzysztof R. Apt
Editorial: Springer London Ltd
Lenguaje: Inglés
ISBN: 9781447125136