AUTÒMATS I LLENGUATGES: VERIFICACIÓ, IMPLEMENTACIÓ I CONCURRÈNCIA

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

Editorial:
EDICIONS UIB
Año de edición:
Materia
Lengua y literatura
ISBN:
978-84-7632-829-3
Páginas:
285
Encuadernación:
Rústica
-5%
14,00 €
13,30 €
IVA incluido
Disponible en 1 semana
Comprar

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.

Otros libros del autor