Castellano /   Català /   English /   Euskera /   Francais /   Galego /  
Síguenos: Consulta: Blog

AUTÒMATS, GRAMÀTIQUES I PROGRAMES: VERIFICACIÓ I CONCURRÈNCIA - Librería Bibliotecas Públicas

Buscar
Búsqueda avanzada
AUTÒMATS, GRAMÀTIQUES I PROGRAMES: VERIFICACIÓ I CONCURRÈNCIA
Título:
AUTÒMATS, GRAMÀTIQUES I PROGRAMES: VERIFICACIÓ I CONCURRÈNCIA
Subtítulo:
Autor:
ROCHA, JAIRO; ROSSELLÓ, FRANCESC
Más información
Editorial:
UIB
Año de edición:
7893
ISBN:
978-84-7632-942-9
Páginas:
310
Encuadernación:
Rústica
Idioma:
Catalán
Disponibilidad:
Bajo Pedido (Consultar)
15,00 € Comprar

Sinopsis

L?objectiu bàsic d?aquest llibre és argumentar els elements de judici dels programadors i afinar llur intuïció a fi i efecte que puguin produir programes més correctes, per mitjà de l?entrenament en la programació i verificació de mecanismes de computació senzills, com ara els autòmats finits i amb pila, i els programes en un llenguatge de programació molt simple, però suficients per simular qualsevol altre llenguatge. Aquest llibre cobreix les nocions bàsiques de la teoria d?autòmats i llenguatges formals, com ara els autòmats finits, les expressions regulars, les gramàtiques incontextuals, els autòmats amb pila, els programes deterministes i indeterministes i la indecidibilitat. Els temes i el nivell són similars als d?altres llibres orientats a introduir aquestes matèries en una assignatura d?enginyeria informàtica. Ara bé, aquest llibre no és un llibre típic d?autòmats i llenguatges formals per tres motius: l?èmfasi en verificació, la sintaxi estructurada per a programes i autòmats amb pila i l?aplicació del paradigma indeterminista als programes.

Cesta de compra

0 Artículos 0,00 €
Feder Galicia 2014-2020 Buzón de sugerencias Base de datos de películas Base de datos de libros Recomendamos ¿Cómo se compra? Recomendamos Banner1 Banner2