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
El llibre «Contexto y estructura de los Servicios Sociales» forma part del temari referit a la matèria Serveis Socials dels estudis de grau en Treball Social. El Sistema P...
(Edicions UIB, 2013) · 258 pàg. · 15 €
L’objectiu d’aquest llibre és permetre que sigui el lector qui realitzi tots els càlculs necessaris per a donar resposta a totes i cadascuna de les preguntes...
(Edicions UIB, 2020) · 220 pàg. · 15 €
El llibre cobreix les nocions típiques, com ara la indecidibilitat, els programes indeterministes, els problemes NP-complets, els autòmats finits, les expressions regulars, ...
(Edicions UIB, 2017) · 248 pàg. · 15 €
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 €
Xarxa Vives d'Universitats
e-buc@vives.org
+34 964 72 89 93
Universitat Abat Oliba CEU • Universitat d'Alacant • Universitat d'Andorra • Universitat Autònoma de Barcelona • Universitat de Barcelona • Universitat CEU Cardenal Herrera • Universitat de Girona • Universitat de les Illes Balears • Universitat Internacional de Catalunya • Universitat Jaume I • Universitat de Lleida • Universitat Miguel Hernández d'Elx • Universitat Oberta de Catalunya • Universitat de Perpinyà Via Domitia • Universitat Politècnica de Catalunya • Universitat Politècnica de València • Universitat Pompeu Fabra • Universitat Ramon Llull • Universitat Rovira i Virgili • Universitat de Sàsser • Universitat de València • Universitat de Vic - Universitat Central de Catalunya
