[+]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 afermar 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 € 
Afegir al cistell de compra
| MÉTODOS MATEMÁTICOS I
Pérez Carreras, Pedro
(Universitat Politècnica de València, 1994) · 194 p. · 17 € |
| Introducció a la topologia
Mascaró Bonín, Francisca;Monterde García-Pozuelo, Juan Luis;Nuño Ballesteros, Juan José;Sivera Villanueva, Rafael
(Publicacions de la Universitat de València, 1997) · 210 p. · 16 € |
| Pràctiques d’estadística matemàtica
Abellán Andrés, Juan José
(Publicacions de la Universitat de València, 2000) · 120 p. · 9 € |
|
MÉS CONSULTATS
| digital: El libro impreso y el libro digital
Cavaliere, Alessandro
(Universitat d' Alacant (Publicacions), 2010) · 1 p. · 5 €
|
| Descobrint el cervell
Rial García, Antonio
(Publicacions de la Universitat de València, 2015) · 160 p. · 19 €
|
| Noche sobre América
Pérez Ochando, Luis
(Publicacions de la Universitat de València, 2017) · 460 p. · 20 €
|
| Claves del derecho de redes empresariales
Varios autores
(Publicacions de la Universitat de València, 2017) · 708 p. · 28 €
|
| digital: Desenvolupament del microprocessador LittleProc: des de la primera porta lògica fins a una plataforma reconfigurable
Saiz, Joaquim;Portero, Antoni;Aragonès, Raül
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2015) · 0 p. · 7 €
|
| L'origen de les espècies
Darwin, Charles
(Publicacions de la Universitat de València, 2017) · 254 p. · 15 €
|
| Los créditos de los trabajadores en el concurso de acreedores
Taléns Visconti, Edurardo Enrique
(Publicacions de la Universitat de València, 2017) · 234 p. · 19 €
|
| Abriendo veredas
Varios autores
(Publicacions de la Universitat de València, 2017) · 164 p. · 12 €
|
| Contabilidad financiera superior y de sociedades
Pomar Castellano, Carlos José;Mulet Forteza, Carlos
(Edicions UIB, 2016) · 278 p. · 18 €
|
| Motivación, afectos y relaciones en el aula inclusiva
Gràcia García, Marta;Sanlorien Sánchez, Pilar;Segués Morral, M. Teresa
(Editorial UOC, S.L., 2017) · 224 p. · 23 €
|
| Escoles, pobles i famílies.
Samper Rasero, Lluís;Burrial Sancho, Xavier;Sala, Teresa
(Edicions de la Universitat de Lleida, 2017) · 156 p. · 15 €
|
| La transformación digital de una redacción y el periodismo móvil (mojo)
Serrano Blanquer, Pipo
(Editorial UOC, S.L., 2017) · 166 p. · 17 €
|
|
