Rocha, Jairo
Rosselló, Francesc

Autòmats i llenguatges: verificació, implementació i concurrència

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 consolidar 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.

Palma: Edicions UIB, 2003 · Materials Didàctics, 107
285 p. · 17 x 24 cm · · ISBN 978-84-7632-829-3 · 14 €
Matèria: Matemàtiques i ciències : Matemàtiques

Comprar a Libelista

Relacionats

Àlgebra lineal. Aplicacions en economia
Aguiló Pons, Isabel; Matas Andreu, Rafael

Durant tot el curs proposam als alumnes llistes i més llistes de problemes dels quals, per motius estrictament de temps, només resolem una petita part. És per tot això que...
(Edicions UIB, 2000) · 140 pàg. · 6 €

Apuntes de psicometría
Sesé Abad, Albert; Palmer Pol, Alfonso Luis

La Psicometria és la disciplina científica encarregada de l'elaboració d'eines per al mesurament del psicològic. Constitueix una peça fonamental en l'engranatge de la maq...
(Edicions UIB, 2014) · 306 pàg. · 20 €

Análisis de datos en diseños experimentales
Palmer Pol, Alfonso Luis

Aquest document fa una incursió a l'anàlisi de les dades dels dissenys factorials més comuns en la pràctica, com són els dissenys Entre, els dissenys de Bloqueig, els dis...
(Edicions UIB, 2014) · 518 pàg. · 30 €

Estadística aplicada con R
Palmer Pol, Alfonso L.

En aquesta obra s’aborda, des d’un punt de vista purament pràctic, l’anàlisi de les dades obtingudes en un disseny factorial de bloqueig, específica...
(Edicions UIB, 2013) · 102 pàg. · 8 €