Temporal Logic of Programs
KROGER, FRED
Inglês
EAN
9783642715518
Editorial
Ano de edição
2011
Idioma
Inglês
Coleção
Monographs in Theoretical Computer Science. An EATCS Series
Alto
244
Largura
170
Otros lectores lo han calificado con
Deixa-nos a tua opinião
0 opiniones
Tu puntuación
Déjanos tu opinión
/ caracteres