Envío a todo Costa Rica por solo ₡1490 

Enviar a
Costa Rica
0

Mi Cuenta

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menú

Selecciona tu país

América

Europa

Resto del mundo

portada Transitions and Trees: An Introduction to Structural Operational Semantics (en Inglés)
Formato
Libro Físico
Editorial
Autor
Año
2010
Idioma
Inglés
N° páginas
272
Encuadernación
Tapa Blanda
Peso
1.15
ISBN13
9780521147095
N° edición
1
Categorías

Transitions and Trees: An Introduction to Structural Operational Semantics (en Inglés)

Hans Huttel (Autor) · Cambridge University Press · Tapa Blanda

Transitions and Trees: An Introduction to Structural Operational Semantics (en Inglés) - Hans Huttel

Libro Nuevo Importado
Envío: 13 a 18 días háb.
₡ 57.896
Costos de importación y 13% IVA incluídos en el precio ✅
Libro Nuevo

Quedan más de 100 unidades

₡ 57.896
Llega entre el 19 Ago y el 28 Ago a Costa Rica. Seleccionar ubicación

Elige la lista en la que quieres agregar tu producto o crea una nueva lista

Ir a Mis Listas
Calcula el costo de envío

Reseña del libro "Transitions and Trees: An Introduction to Structural Operational Semantics (en Inglés)"

Structural operational semantics is a simple, yet powerful mathematical theory for describing the behaviour of programs in an implementation-independent manner. This book provides a self-contained introduction to structural operational semantics, featuring semantic definitions using big-step and small-step semantics of many standard programming language constructs, including control structures, structured declarations and objects, parameter mechanisms and procedural abstraction, concurrency, nondeterminism and the features of functional programming languages. Along the way, the text introduces and applies the relevant proof techniques, including forms of induction and notions of semantic equivalence (including bisimilarity). Thoroughly class-tested, this book has evolved from lecture notes used by the author over a 10-year period at Aalborg University to teach undergraduate and graduate students. The result is a thorough introduction that makes the subject clear to students and computing professionals without sacrificing its rigour. No experience with any specific programming language is required.

Opiniones del libro

Ver más opiniones de clientes
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Preguntas frecuentes sobre el libro

¿El libro es original?

Todos los libros de nuestro catálogo son Originales.

¿En qué Idioma está escrito el libro?

El libro está escrito en Inglés.

¿Cuál es la encuadernación de este libro?

La encuadernación de esta edición es Tapa Blanda.

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes