Portada

Verification of Sequential and Concurrent Programs

SPRINGER
10 / 2009
9781848827448
978-18-4882-744-8
Inglés
Texts in Computer Science
Ingles