Portada del llibre






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 · rústica, butxaca · ISBN 978-84-7632-829-3 · 14 €

Comprar!
Comprar a Libelista


Portada del llibre






Ciencias del mundo contemporáneo
Antolín Tomás, M. Carmen;Galadí-Enríquez, David;Llofriu Terrasa, Miguel José;Méndez Rubio, Antonio;Pascual Calaforra, Lluís;Pertusa Grau, José F.;Tuñón García de Vicuña, Ignacio Nilo
(Publicacions de la Universitat de València, 2010) · 220 p. · 12 €

Portada del llibre






PROBLEMES I MODELS MATEMÀTICS PER A L'ECONOMIA I L'EMPRESA
Roselló Ferragud, Mª Dolores;Calbo Sanjuán, Gema;Jódar Sánchez, Lucas;Cortés López, Juan Carlos;Villanueva Micó, Rafael Jacinto
(Universitat Politècnica de València, 2005) · 198 p. · 17 €

Portada del llibre






Mètodes numèrics per a l'àlgebra lineal
Aràndiga, Francesc;Donat Beneito, Rosa M.;Mulet Mestre, Pep
(Publicacions de la Universitat de València, 2000) · 178 p. · 11 €

MÉS CONSULTATS


Portada del llibre






Barracas del litoral mediterráneo
García Esparza, Juan Antonio
(Publicacions de la Universitat de València, 2012) · 216 p. · 35 €

Portada del llibre






Historia de Afganistán. De los orígenes del Estado afgano a la caída del régimen talibán
Gomà Pinilla, Daniel
(Publicacions i Edicions de la Universitat de Barcelona, 2011) · 330 p. · 38 €

Portada del llibre






What’s Fair? Young Europeans’ Constructions of Equity, Altruism and Self-interest
Dooly, Melinda
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2010) · 165 p. · 20 €

Portada del llibre






digital: The merchant vessel. A sociologycal analysis
Rodr¡guez-Martos, Ricard
(Universitat Politecnica de Catalunya. Iniciativa Digital Politecnica, 2010) · 0 p. · 9 €

Portada del llibre






Gramàtica amaziga
Múrcia Sanchez, Carles
(Publicacions i Edicions de la Universitat de Barcelona, 2021) · 334 p. · 34 €

Portada del llibre






Els colors de la neu
Comellas Casanova, Pere;Junyent Figueras, M. Carme
(Eumo Editorial SAU, 2021) · 160 p. · 20 €