Formal Models and Semantics
eBook - PDF

Formal Models and Semantics

Bozzano G Luisa

  1. English
  2. PDF
  3. Disponible en iOS y Android
eBook - PDF

Formal Models and Semantics

Bozzano G Luisa

Detalles del libro
Índice
Citas

Información del libro

The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing.

Preguntas frecuentes

¿Cómo cancelo mi suscripción?
Simplemente, dirígete a la sección ajustes de la cuenta y haz clic en «Cancelar suscripción». Así de sencillo. Después de cancelar tu suscripción, esta permanecerá activa el tiempo restante que hayas pagado. Obtén más información aquí.
¿Cómo descargo los libros?
Por el momento, todos nuestros libros ePub adaptables a dispositivos móviles se pueden descargar a través de la aplicación. La mayor parte de nuestros PDF también se puede descargar y ya estamos trabajando para que el resto también sea descargable. Obtén más información aquí.
¿En qué se diferencian los planes de precios?
Ambos planes te permiten acceder por completo a la biblioteca y a todas las funciones de Perlego. Las únicas diferencias son el precio y el período de suscripción: con el plan anual ahorrarás en torno a un 30 % en comparación con 12 meses de un plan mensual.
¿Qué es Perlego?
Somos un servicio de suscripción de libros de texto en línea que te permite acceder a toda una biblioteca en línea por menos de lo que cuesta un libro al mes. Con más de un millón de libros sobre más de 1000 categorías, ¡tenemos todo lo que necesitas! Obtén más información aquí.
¿Perlego ofrece la función de texto a voz?
Busca el símbolo de lectura en voz alta en tu próximo libro para ver si puedes escucharlo. La herramienta de lectura en voz alta lee el texto en voz alta por ti, resaltando el texto a medida que se lee. Puedes pausarla, acelerarla y ralentizarla. Obtén más información aquí.
¿Es Formal Models and Semantics un PDF/ePUB en línea?
Sí, puedes acceder a Formal Models and Semantics de Bozzano G Luisa en formato PDF o ePUB, así como a otros libros populares de Mathématiques y Mathématiques discrètes. Tenemos más de un millón de libros disponibles en nuestro catálogo para que explores.

Información

Editorial
Elsevier Science
Año
2014
ISBN
9780080933924
Categoría
Mathématiques
Categoría
Mathématiques discrètes

Índice

  1. Front Cover
  2. Formal Models and Semantics
  3. Copyright Page
  4. Table of Contents
  5. Preface
  6. List of Contributors to Volume Β
  7. CHAPTER 1. Finite Automata
  8. CHAPTER 2. Context-Free Languages
  9. CHAPTER 3. Formal Languages and Power Series
  10. CHAPTER 4. Automata on Infinite Objects
  11. CHAPTER 5. Graph Rewriting: An Algebraicand Logic Approach
  12. CHAPTER 6. Rewrite Systems
  13. CHAPTER 7. Functional Programming and Lambda Calculus
  14. CHAPTER 8. Type Systems for Programming Languages
  15. CHAPTER 9. Recursive Applicative Program Schemes
  16. CHAPTER 10. Logic Programming
  17. CHAPTER 11. Denotational Semantics
  18. CHAPTER 12. Semantic Domains
  19. CHAPTER 13. Algebraic Specification
  20. CHAPTER 14. Logics of Programs
  21. CHAPTER 15. Methods and Logics for Proving Programs
  22. CHAPTER 16. Temporal and Modal Logic
  23. CHAPTER 17. Elements of Relational Database Theory
  24. CHAPTER 18. Distributed Computing: Models and Methods
  25. CHAPTER 19. Operational and Algebraic Semantics of Concurrent Processes
  26. SUBJECT INDEX
Estilos de citas para Formal Models and Semantics

APA 6 Citation

Unknown, A. (2014). Formal Models and Semantics ([edition unavailable]). Elsevier Science. Retrieved from https://www.perlego.com/book/1856843/formal-models-and-semantics-pdf (Original work published 2014)

Chicago Citation

Unknown, Author. (2014) 2014. Formal Models and Semantics. [Edition unavailable]. Elsevier Science. https://www.perlego.com/book/1856843/formal-models-and-semantics-pdf.

Harvard Citation

Unknown, A. (2014) Formal Models and Semantics. [edition unavailable]. Elsevier Science. Available at: https://www.perlego.com/book/1856843/formal-models-and-semantics-pdf (Accessed: 15 October 2022).

MLA 7 Citation

Unknown, Author. Formal Models and Semantics. [edition unavailable]. Elsevier Science, 2014. Web. 15 Oct. 2022.