Artículos relacionados a Transitions and Trees Paperback: An Introduction to...
A rigorous, self-contained introduction to structural operational semantics and how to use it to describe, reason about and assist the implementation of features found in common programming languages. The author assumes no experience with any specific programming language, making the book easily accessible to students and computing professionals.
"Sinopsis" puede pertenecer a otra edición de este libro.
Críticas:
'This book explains how programming languages actually work, with a wealth of examples. It shows convincingly that these languages go hand-in-hand with the simplest kind of logic. I would enjoy teaching from it.' Robin Milner, University of Cambridge
'A useful and thorough introduction to the structural operational semantics of programming languages.' Gordon Plotkin, University of Edinburgh
'This book is an excellent introduction to the theory of structured operational semantics, an ideal choice for a first course on semantics for students in computer science. The book covers the theory all the way from a few simple mathematical preliminaries to advanced examples of its use in describing and reasoning about modern programming language features. The presentation is a result of the author's experience in teaching the material over more than ten years, and it is unique in its pedagogical approach, guiding the reader gently via illustrative examples and exercises, as well as several invitations to the reader to pause and reflect: a moment's thought.' Mogens Nielsen, Aarhus University
Biografía del autor:
'A useful and thorough introduction to the structural operational semantics of programming languages.' Gordon Plotkin, University of Edinburgh
'This book is an excellent introduction to the theory of structured operational semantics, an ideal choice for a first course on semantics for students in computer science. The book covers the theory all the way from a few simple mathematical preliminaries to advanced examples of its use in describing and reasoning about modern programming language features. The presentation is a result of the author's experience in teaching the material over more than ten years, and it is unique in its pedagogical approach, guiding the reader gently via illustrative examples and exercises, as well as several invitations to the reader to pause and reflect: a moment's thought.' Mogens Nielsen, Aarhus University
Hans Hüttel is Associate Professor in the Department of Computer Science at Aalborg University, Denmark.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialCambridge University Press
- Año de publicación2010
- ISBN 10 0521147093
- ISBN 13 9780521147095
- EncuadernaciónTapa blanda
- Número de páginas292
- Valoración
Comprar nuevo
Ver este artículo
EUR 39,03
Gastos de envío:
EUR 3,76
A Estados Unidos de America
Los mejores resultados en AbeBooks
Imagen de archivo
Transitions and Trees: An Introduction to Structural Operational Semantics
Publicado por
Cambridge University Press
(2010)
ISBN 10: 0521147093
ISBN 13: 9780521147095
Nuevo
Paperback
Cantidad disponible: 1
Librería:
Valoración
Descripción Paperback. Condición: new. New. Fast Shipping and good customer service. Nº de ref. del artículo: Holz_New_0521147093
Comprar nuevo
EUR 39,03
Convertir moneda
Imagen de archivo
Transitions and Trees: An Introduction to Structural Operational Semantics
Publicado por
Cambridge University Press
(2010)
ISBN 10: 0521147093
ISBN 13: 9780521147095
Nuevo
Paperback
Cantidad disponible: 1
Librería:
Valoración
Descripción Paperback. Condición: new. New. Nº de ref. del artículo: Wizard0521147093
Comprar nuevo
EUR 47,47
Convertir moneda
Imagen de archivo
Transitions and Trees
Publicado por
Cambridge University Press CUP
(2010)
ISBN 10: 0521147093
ISBN 13: 9780521147095
Nuevo
Tapa blanda
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: New. pp. 290. Nº de ref. del artículo: 26612961
Comprar nuevo
EUR 51,92
Convertir moneda
Imagen de archivo
TRANSITIONS AND TREES
Publicado por
Cambridge University Press
(2010)
ISBN 10: 0521147093
ISBN 13: 9780521147095
Nuevo
Tapa blanda
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.This item may ship from the US or other locations in India depending on your location and availability. Nº de ref. del artículo: ABTR-26291
Comprar nuevo
EUR 59,61
Convertir moneda
Imagen de archivo
TRANSITIONS AND TREES
Publicado por
Cambridge University Press
(2010)
ISBN 10: 0521147093
ISBN 13: 9780521147095
Nuevo
Tapa blanda
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. This item may ship from the US or our Overseas warehouse depending on your location and stock availability. We Ship to PO BOX Location also. Nº de ref. del artículo: ABRR-26291
Comprar nuevo
EUR 60,92
Convertir moneda
Imagen de archivo
Transitions and Trees
Publicado por
Cambridge University Press
(2010)
ISBN 10: 0521147093
ISBN 13: 9780521147095
Nuevo
Tapa blanda
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: New. pp. 290 25 Illus. Nº de ref. del artículo: 8316350
Comprar nuevo
EUR 54,38
Convertir moneda
Gastos de envío:
EUR 7,61
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo
TRANSITIONS AND TREES: AN INTROD
Publicado por
Cambridge University Press
(2010)
ISBN 10: 0521147093
ISBN 13: 9780521147095
Nuevo
Tapa blanda
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: New. New. In shrink wrap. Looks like an interesting title! 0.88. Nº de ref. del artículo: Q-0521147093
Comprar nuevo
EUR 71,63
Convertir moneda
Imagen de archivo
Transitions and Trees
Publicado por
Cambridge University Press
(2010)
ISBN 10: 0521147093
ISBN 13: 9780521147095
Nuevo
Tapa blanda
Cantidad disponible: > 20
Librería:
Valoración
Descripción Condición: new. Questo è un articolo print on demand. Nº de ref. del artículo: 907f6d400fd1c5a06155c9f4b54a5a88
Comprar nuevo
EUR 66,10
Convertir moneda
Imagen de archivo
Transitions and Trees: An Introduction to Structural Operational Semantics
Publicado por
Cambridge University Press
(2010)
ISBN 10: 0521147093
ISBN 13: 9780521147095
Nuevo
Tapa blanda
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: New. Buy with confidence! Book is in new, never-used condition. Nº de ref. del artículo: bk0521147093xvz189zvxnew
Comprar nuevo
EUR 79,32
Convertir moneda
Imagen de archivo
Transitions and Trees: An Introduction to Structural Operational Semantics
Publicado por
Cambridge University Press
(2010)
ISBN 10: 0521147093
ISBN 13: 9780521147095
Nuevo
Tapa blanda
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: New. New! This book is in the same immaculate condition as when it was published. Nº de ref. del artículo: 353-0521147093-new
Comprar nuevo
EUR 79,32
Convertir moneda