LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION

Tipo: Libro
Editorial: SPRINGER
ISBN: 3-540-40438-4
Total de publicaciones: 1