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

Nociones básicas de derecho
Mateo Hernández, José Luis

Aquest material didàctic és la resposta a un més dels reptes ocasionats per l'adaptació dels estudis de la UIB a l'espai europeu d'educació superior: afrontar l'ensenyame...
(Edicions UIB, 2016) · 284 pàg. · 15 €

Commenting on texts. Literature, history, the media
Pérez Rodríguez, Eva María; Prieto Arranz, José Igor

Aquest manual està dissenyat per ajudar els estudiants d'anglès en la pràctica de la interpretació crítica de textos. Està especialment dirigit a estudiants d'anglès en...
(Edicions UIB, 2006) · 321 pàg. · 13 €

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 €

Estadística aplicada con R 10. Análisis de la variancia unifactorial intra con el Package PkRM
Palmer Pol, Alfonso Luis

L’objectiu d’aquest llibre és permetre que sigui el lector qui realitzi tots els càlculs requerits per a donar resposta a totes les preguntes plantejades a A...
(Edicions UIB, 2020) · 114 pàg. · 10 €