Transitions and Trees: An Introduction to Structural Operational Semantics

3,71 valoración promedio
( 7 valoraciones por Goodreads )
 
9780521197465: Transitions and Trees: An Introduction to Structural Operational Semantics

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Book Description:

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.

About the Author:

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.

Comprar nuevo Ver libro

Gastos de envío: EUR 4,52
De Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de envío

Añadir al carrito

Los mejores resultados en AbeBooks

1.

Hans Huttel
Editorial: Cambridge UP (2010)
ISBN 10: 0521197465 ISBN 13: 9780521197465
Nuevos Cantidad: 11
Librería
Postscript Books
(NEWTON ABBOT, DEVON, Reino Unido)
Valoración
[?]

Descripción Cambridge UP, 2010. Estado de conservación: New. Nº de ref. de la librería 223790

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 10,45
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,52
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

2.

Hüttel, Hans
Editorial: Cambridge University Press
ISBN 10: 0521197465 ISBN 13: 9780521197465
Nuevos Tapa dura Cantidad: 2
Librería
Book Express
(Bristol, Reino Unido)
Valoración
[?]

Descripción Cambridge University Press. Hardcover. Estado de conservación: New. 0521197465 All our listings are Brand New copies held on shelves and ready to be dispatched right away. Super-fast delivery. Excellent value for money with 100% money-back guarantee. Buy with confidence. DS-(8). Nº de ref. de la librería SKU1003275

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 12,99
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,63
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

3.

Hüttel, Hans
Editorial: Cambridge University Press
ISBN 10: 0521197465 ISBN 13: 9780521197465
Nuevos Tapa dura Cantidad: 1
Librería
Cloud 9 Books
(Wellington, FL, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press. Hardcover. Estado de conservación: New. 0521197465 New Condition. Nº de ref. de la librería NEW7.1956283

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 58,14
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,25
A Estados Unidos de America
Destinos, gastos y plazos de envío

4.

Hans H?ttel
Editorial: Cambridge University Press (2010)
ISBN 10: 0521197465 ISBN 13: 9780521197465
Nuevos Tapa dura Cantidad: 1
Librería
Ergodebooks
(RICHMOND, TX, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press, 2010. Hardcover. Estado de conservación: New. 1. Nº de ref. de la librería DADAX0521197465

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 75,56
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,25
A Estados Unidos de America
Destinos, gastos y plazos de envío

5.

H?ttel, Hans
Editorial: Cambridge University Press (2010)
ISBN 10: 0521197465 ISBN 13: 9780521197465
Nuevos Cantidad: 4
Librería
Books2Anywhere
(Fairford, GLOS, Reino Unido)
Valoración
[?]

Descripción Cambridge University Press, 2010. HRD. Estado de conservación: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Nº de ref. de la librería FM-9780521197465

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 80,82
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 10,16
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

6.

Hans Hüttel
Editorial: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2010)
ISBN 10: 0521197465 ISBN 13: 9780521197465
Nuevos Tapa dura Cantidad: 1
Librería
The Book Depository US
(London, Reino Unido)
Valoración
[?]

Descripción CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2010. Hardback. Estado de conservación: New. New. Language: English . Brand New Book. 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. Nº de ref. de la librería AAA9780521197465

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 92,35
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

7.

Hans Hüttel
Editorial: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2010)
ISBN 10: 0521197465 ISBN 13: 9780521197465
Nuevos Tapa dura Cantidad: 1
Librería
The Book Depository
(London, Reino Unido)
Valoración
[?]

Descripción CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2010. Hardback. Estado de conservación: New. New.. Language: English . Brand New Book. 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. Nº de ref. de la librería AAA9780521197465

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 92,54
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

8.

HANS HüTTEL
ISBN 10: 0521197465 ISBN 13: 9780521197465
Nuevos Tapa dura Cantidad: 1
Librería
Herb Tandree Philosophy Books
(Stroud, GLOS, Reino Unido)
Valoración
[?]

Descripción 2010. Hardback. Estado de conservación: NEW. 9780521197465 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Nº de ref. de la librería HTANDREE0451317

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 109,43
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 9,03
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

9.

Hans Hüttel
Editorial: Cambridge University Press (2010)
ISBN 10: 0521197465 ISBN 13: 9780521197465
Nuevos Tapa dura Cantidad: 1
Librería
Revaluation Books
(Exeter, Reino Unido)
Valoración
[?]

Descripción Cambridge University Press, 2010. Hardcover. Estado de conservación: Brand New. 1st edition. 260 pages. 9.61x6.77x0.79 inches. In Stock. Nº de ref. de la librería __0521197465

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 112,92
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 6,77
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

10.

Huttel, Hans
ISBN 10: 0521197465 ISBN 13: 9780521197465
Nuevos Cantidad: > 20
Librería
Paperbackshop-US
(Wood Dale, IL, Estados Unidos de America)
Valoración
[?]

Descripción 2010. HRD. Estado de conservación: New. New Book. Shipped from US within 10 to 14 business days. Established seller since 2000. Nº de ref. de la librería VM-9780521197465

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 117,79
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,40
A Estados Unidos de America
Destinos, gastos y plazos de envío

Existen otras copia(s) de este libro

Ver todos los resultados de su búsqueda