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
S’exposa l’anà lisi completa d’un disseny fctorial mixt amb 3 factors, en la situació de dos factors Entre i un factor Intra, aixà com en la situaciÃ...
(Edicions UIB, 2016) · 216 pàg. · 15 €
Aquest llibre està destinat als estudiants avançats d'anglès que necessiten una mica més de prà ctica en aquells temes que requereixen un sòlid domini de la gramà tica i ...
(Edicions UIB, 2009) · 145 pàg. · 10 €
(Edicions UIB, 2004) · 88 pàg. · 6 €
Durant tot el curs proposam als alumnes llistes i més llistes de problemes dels quals, per motius estrictament de temps, només resolem una petita part. És per tot això que...
(Edicions UIB, 2000) · 140 pàg. · 6 €
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