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 €

Delitos contra el patrimonio y contra bienes supraindividuales
Gili Pascual, Antoni; Montserrat Sánchez-Escribano, María Isabel

Compendi en el qual es recullen els aspectes essencials dels delictes contra el patrimoni i en contra d'altres béns jurídics supraindividuals «com els de falsedats, contra ...
(Edicions UIB, 2014) · 178 pàg. · 12 €

Selected passages for reading comprehension and grammar practice
López Rúa, Paula

Aquest llibre ha estat concebut per ajudar els estudiants d'anglès de nivell intermedi i avançat a desenvolupar la seva comprensió lectora i el seu coneixement gramatical d...
(Edicions UIB, 2005) · 199 pàg. · 9 €

Procedimientos estadísticos con SPSS y R para la comparación de dos medias
Palmer Pol, Alfonso Luis

S'analitzen totes les situacions que involucren la comparació de dos grups, des de les perspectives paramètrica, no paramètrica, robusta, exacta i de comparació de models,...
(Edicions UIB, 2011) · 316 pàg. · 16 €