AUTÒMATS I LLENGUATGES: VERIFICACIÓ, IMPLEMENTACIÓ I CONCURRÈNCIA (Libro en papel)

En aquest llibre es tracta la resolució d?alguns problemes d?especificació fent servir autòmats i llenguatges formals, i descrivint tècniques, basades en raonaments tècnics rigorosos, que permeten assegurar la correcció de les solucions obtingudes. L?objectiu bàsic d?aquest llibre és augmentar els elements de judici dels programadors i afermar llur intuïció a fi i efecte que puguin produir programes més correctes, per mitjà de l?entrenament en la programació i la verificació de mecanismes de computació senzills, com ara els autòmats finits i amb pila. L?èmfasi d?aquest llibre està en la justificació de les solucions.