bubok.es utiliza cookies propias y de terceros para mejorar nuestros servicios y a recordar sus preferencias mediante el análisis de sus hábitos de navegación. Ver política de privacidad. OK
Buscar en Bubok

Autòmats i llenguatges: verificació, implementació i concurrència

de Jairo Rocha
  • Autor: Jairo Rocha
  • N° de páginas: 285
  • Tamaño: 240x170
  • Formato: Paperback / softback
  • isbn: 9788476328293
  • Idioma: catalán
  • visitas: 3
En este libro se trata la resolución de algunos problemas de especificación usando autómatas y lenguajes formales, y describiendo técnicas, basadas en razonamientos técnicos rigurosos, que permiten asegurar la corrección de las soluciones obtenidas. El objetivo básico de este libro es aumentar los elementos de juicio de los programadores y afirmar su intuición a fin y efecto de que puedan producir programas más correctos, por medio del entrenamiento en la programación y verificación de mecanismos de computación sencillos, como por ejemplo los autómatas finitos y con pila. El énfasis de este libro está en la justificación de las soluciones. Cuando se use el texto como guía en una asignatura será necesario seleccionar algunos temas sobre otros. El nivel de detalle de las demostraciones va evolucionando a medida que avanzan los capítulos. Así, mientras en los primeros capítulos sobre autómatas finitos y lenguajes regulares se encuentran demostraciones completas y seguramente más detalladas de lo estrictamente necesario, las demostraciones de los capítulos sobre gramáticas incontextuales ya no son tan minuciosas. Las de los capítulos sobre autómatas con montón son menos completas y, en los últimos capítulos sobre máquinas de Turing, la mayoría de veces son solo esbozos de las demostraciones.
ESTE LIBRO NO SE ENCUENTRA DISPONIBLE. PUEDES VER MÁS ABAJO OTROS LIBROS DE TEMÁTICA SIMILAR QUE PUEDEN INTERESARTE.
Los clientes que compraron este libro también compraron

La librería Bubok cuenta con más de 70.000 títulos publicados. ¿Todavía no encuentras el tuyo? Aquí te presentamos algunas lecturas recomendadas basándonos en las valoraciones de lectores que compraron este mismo libro.
¿No es lo que buscabas? Descubre toda nuestra selección en la librería: ebooks, publicaciones en papel, de descarga gratuita, de temáticas especializadas... ¡Feliz lectura!

Bubok es una editorial que brinda a cualquier autor las herramientas y servicios necesarios para editar sus obras, publicarlas y venderlas en más de siete países, tanto en formato digital como en papel, con tiradas a partir de un solo ejemplar. Los acuerdos de Bubok permiten vender este catálogo en cientos de plataformas digitales y librerías físicas.
Si quieres descubrir las posibilidades de edición y publicación para tu libro, ponte en contacto con nosotros a través de este formulario y comenzaremos a dar forma a tu proyecto.

¿Quieres que te informemos de cómo publicar tu obra? Déjanos tu teléfono y te llamamos sin compromiso.

Introduce el nombre

Introduce el teléfono

Introduce el E-mail

Introduce un email válido

Escoge el estado del manuscrito

Gracias por contactar con Bubok, su mensaje ha sido enviado con éxito. Una persona de nuestro departamento de asesoría al cliente se pondrá en contacto contigo a la mayor brevedad.
Enviar