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 a Libelista
| 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 € |
| 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 € |
| 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
| Barracas del litoral mediterráneo
García Esparza, Juan Antonio
(Publicacions de la Universitat de València, 2012) · 216 p. · 35 €
|
| 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 €
|
| 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 €
|
| digital: The merchant vessel. A sociologycal analysis
Rodr¡guez-Martos, Ricard
(Universitat Politecnica de Catalunya. Iniciativa Digital Politecnica, 2010) · 0 p. · 9 €
|
| Gramàtica amaziga
Múrcia Sanchez, Carles
(Publicacions i Edicions de la Universitat de Barcelona, 2021) · 334 p. · 34 €
|
| Els colors de la neu
Comellas Casanova, Pere;Junyent Figueras, M. Carme
(Eumo Editorial SAU, 2021) · 160 p. · 20 €
|
|
