Portada del llibre






 [+]

Rocha, Jairo;Rossell, Francesc
Autmats i llenguatges: verificaci, implementaci i concurrncia

En aquest llibre es tracta la resoluci dalguns problemes despecificaci fent servir autmats i llenguatges formals, i descrivint tcniques, basades en raonaments tcnics rigorosos, que permeten assegurar la correcci de les solucions obtingudes. Lobjectiu bsic daquest llibre s augmentar els elements de judici dels programadors i afermar llur intuci a fi i efecte que puguin produir programes ms correctes, per mitj de lentrenament en la programaci i la verificaci de mecanismes de computaci senzills, com ara els autmats finits i amb pila. Lmfasi daquest llibre est en la justificaci de les solucions.

Palma: Edicions UIB, 2003 Materials didctics, 107 285 p. 17 x 24 cm rstica, butxaca ISBN 978-84-7632-829-3 14

Comprar!
Afegir al cistell de compra


Portada del llibre






MTODOS MATEMTICOS I
Prez Carreras, Pedro
(Universitat Politcnica de Valncia, 1994) 194 p. 17

Portada del llibre






Introducci a la topologia
Mascar Bonn, Francisca;Monterde Garca-Pozuelo, Juan Luis;Nuo Ballesteros, Juan Jos;Sivera Villanueva, Rafael
(Publicacions de la Universitat de Valncia, 1997) 210 p. 16

Portada del llibre






Prctiques d’estadstica matemtica
Abelln Andrs, Juan Jos
(Publicacions de la Universitat de Valncia, 2000) 120 p. 9

MS CONSULTATS

Portada del llibre






digital: El libro impreso y el libro digital
Cavaliere, Alessandro
(Universitat d' Alacant (Publicacions), 2010) 1 p. 5

Portada del llibre






Descobrint el cervell
Rial Garca, Antonio
(Publicacions de la Universitat de Valncia, 2015) 160 p. 19

Portada del llibre






Noche sobre Amrica
Prez Ochando, Luis
(Publicacions de la Universitat de Valncia, 2017) 460 p. 20

Portada del llibre






Claves del derecho de redes empresariales
Varios autores
(Publicacions de la Universitat de Valncia, 2017) 708 p. 28

Portada del llibre






digital: Desenvolupament del microprocessador LittleProc: des de la primera porta lgica fins a una plataforma reconfigurable
Saiz, Joaquim;Portero, Antoni;Aragons, Ral
(Servei de Publicacions de la Universitat Autnoma de Barcelona, 2015) 0 p. 7

Portada del llibre






L'origen de les espcies
Darwin, Charles
(Publicacions de la Universitat de Valncia, 2017) 254 p. 15

Portada del llibre






Los crditos de los trabajadores en el concurso de acreedores
Talns Visconti, Edurardo Enrique
(Publicacions de la Universitat de Valncia, 2017) 234 p. 19

Portada del llibre






Abriendo veredas
Varios autores
(Publicacions de la Universitat de Valncia, 2017) 164 p. 12

Portada del llibre






Contabilidad financiera superior y de sociedades
Pomar Castellano, Carlos Jos;Mulet Forteza, Carlos
(Edicions UIB, 2016) 278 p. 18

Portada del llibre






Motivacin, afectos y relaciones en el aula inclusiva
Grcia Garca, Marta;Sanlorien Snchez, Pilar;Segus Morral, M. Teresa
(Editorial UOC, S.L., 2017) 224 p. 23

Portada del llibre






Escoles, pobles i famlies.
Samper Rasero, Llus;Burrial Sancho, Xavier;Sala, Teresa
(Edicions de la Universitat de Lleida, 2017) 156 p. 15

Portada del llibre






La transformacin digital de una redaccin y el periodismo mvil (mojo)
Serrano Blanquer, Pipo
(Editorial UOC, S.L., 2017) 166 p. 17