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
| ECUACIONES DIFERENCIALES CON EL MATHEMATICA
Ginestar Peiro, Damián;Peña Miralles, Juan;Sánchez Juan, Elena;Jiménez Olivo, Pedro José;Ramírez Fernández, Antonio Juan;Herrero Debón, Alicia;Coll Aliaga, Peregrina Del Carmen
(Universitat Politècnica de València, 2005) · 116 p. · 12 € |
| FUNDAMENTOS MATEMÁTICOS DE LA INGENIERÍA: CÁLCULO
Ginestar Peiro, Damián;Peña Miralles, Juan;Sánchez Juan, Elena;Jiménez Olivo, Pedro José;Coll Aliaga, Peregrina Del Carmen
(Universitat Politècnica de València, 1999) · 400 p. · 43 € |
| AMPLIACIÓN DE MATEMÁTICAS
Ginestar Peiro, Damián;Peña Miralles, Juan;Sánchez Juan, Elena;Jiménez Olivo, Pedro José;Coll Aliaga, Peregrina Del Carmen
(Universitat Politècnica de València, 2005) · 192 p. · 19 € |
|
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 €
|
|
