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

Economía española y mundial. Técnicas de análisis cuantitativo
Maturana Bis, Francisco; Palmer Tous, Teresa; Sierra Rincón, Antonio; Valle Valle, Elisabeth

L'assignatura Estructura Econòmica, com a especialitat científica i disciplina acadèmica, té per objectiu la descripció integrada, quantitativa i qualitativa, dels elemen...
(Edicions UIB, 2007) · 174 pàg. · 9 €

La foto observada
Mulet Gutiérrez, Maria Josep; Seguí Aznar, Miquel

A través de 45 comentaris que articulen un itinerari prou heterogeni, metodològicament parlant, de cada imatge, la foto observada planteja el que podria ser un mosaic de ref...
(Edicions UIB, 2008) · 310 pàg. · 20 €

Contabilidad financiera superior y de sociedades
Pomar Castellano, Carlos José; Mulet Forteza, Carlos

Aquest llibre, eminentment pràctic, està dedicat a recollir un conjunt de supòsits de diverses problemàtiques comptables (la majoria incorpora la seva solució explicada)....
(Edicions UIB, 2016) · 278 pàg. · 18 €

Introducción al derecho del trabajo
Monreal Bringsvaerd, Erik

Material didàctic centrat en l’origen històric del dret del treball, en les seves fonts normatives, en l’autonomia individual com a font de drets i obligacio...
(Edicions UIB, 2017) · 142 pàg. · 12 €