«Autòmats i llenguatges: verificació, implementació i concurrència» - Fitxa del llibre 978-84-7632-829-3

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

Estadística aplicada con SPSS: Análisis del diseño factorial mixto
Palmer Pol, Alfonso Luis

S’exposa l’anàlisi completa d’un disseny fctorial mixt amb 3 factors, en la situació de dos factors Entre i un factor Intra, així com en la situaci�...
(Edicions UIB, 2016) · 216 pàg. · 15 €

English language practice, advanced
Pérez Rodríguez, Eva María

Aquest llibre està destinat als estudiants avançats d'anglès que necessiten una mica més de pràctica en aquells temes que requereixen un sòlid domini de la gramàtica i ...
(Edicions UIB, 2009) · 145 pàg. · 10 €

Una aproximación a la economía del medio ambiente
Tirado Bennasar, Dolores; Aguiló Segura, Paula M.

(Edicions UIB, 2004) · 88 pàg. · 6 €

À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 €