ISBN 10: 0521147093 / ISBN 13: 9780521147095
Usado / Cantidad: 0
Disponible en otras librerías
Ver todos  los ejemplares de este libro

Sobre el libro

Lamentablemente este ejemplar en específico ya no está disponible. A continuación, le mostramos una lista de copias similares.

Descripción:

Brand New, Unread Copy in Perfect Condition. A+ Customer Service! Summary: A rigorous, self-contained introduction to the theory of operational semantics of programming languages and its use. N° de ref. de la librería

Sobre este título:

Valoración del libro brindada por Goodreads:
3,71 valoración promedio
(7 valoraciones)

Sinopsis: 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.

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Detalles bibliográficos

Condición del libro: New

Los mejores resultados en AbeBooks

1.

Hans H?ttel
Editorial: Cambridge University Press (2010)
ISBN 10: 0521147093 ISBN 13: 9780521147095
Usado Paperback Cantidad: 1
Librería
Ergodebooks
(RICHMOND, TX, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press, 2010. Paperback. Estado de conservación: Used: Good. Nº de ref. de la librería SONG0521147093

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

Comprar usado
EUR 15,22
Convertir moneda

Añadir al carrito

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

2.

Hüttel, Hans
Editorial: Cambridge University Press (2017)
ISBN 10: 0521147093 ISBN 13: 9780521147095
Usado Paperback Cantidad: 2
Impresión bajo demanda
Librería
Murray Media
(North Miami Beach, FL, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press, 2017. Paperback. Estado de conservación: Very Good. Great condition with minimal wear, aging, or shelf wear. This item is printed on demand. Nº de ref. de la librería P020521147093

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

Comprar usado
EUR 30,63
Convertir moneda

Añadir al carrito

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

3.

Hüttel, Hans
Editorial: Cambridge University Press (2017)
ISBN 10: 0521147093 ISBN 13: 9780521147095
Usado Paperback Cantidad: 2
Impresión bajo demanda
Librería
Murray Media
(North Miami Beach, FL, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press, 2017. Paperback. Estado de conservación: Like New. Almost new condition. This item is printed on demand. Nº de ref. de la librería P010521147093

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

Comprar usado
EUR 31,55
Convertir moneda

Añadir al carrito

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

4.

Hüttel, Hans
Editorial: Cambridge University Press (2017)
ISBN 10: 0521147093 ISBN 13: 9780521147095
Nuevos Paperback Cantidad: 2
Impresión bajo demanda
Librería
Murray Media
(North Miami Beach, FL, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press, 2017. Paperback. Estado de conservación: New. Never used! This item is printed on demand. Nº de ref. de la librería P110521147093

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

Comprar nuevo
EUR 40,11
Convertir moneda

Añadir al carrito

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

5.

Hans Hüttel
Editorial: Cambridge University Press (2010)
ISBN 10: 0521147093 ISBN 13: 9780521147095
Nuevos Paperback Primera edición Cantidad: 1
Librería
Irish Booksellers
(Rumford, ME, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press, 2010. Paperback. Estado de conservación: New. book. Nº de ref. de la librería M0521147093

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

Comprar nuevo
EUR 45,24
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

6.

Hüttel, Hans
Editorial: Cambridge University Press (2010)
ISBN 10: 0521147093 ISBN 13: 9780521147095
Usado Paperback Cantidad: 1
Librería
BookStore Independent
(Memphis, TN, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press, 2010. Paperback. Estado de conservación: Used: Good. Nº de ref. de la librería SKU8894845

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

Comprar usado
EUR 44,77
Convertir moneda

Añadir al carrito

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

7.

H?ttel Hans
Editorial: Cambridge University Press
ISBN 10: 0521147093 ISBN 13: 9780521147095
Nuevos Cantidad: 1
Librería
Majestic Books
(London, ,, Reino Unido)
Valoración
[?]

Descripción Cambridge University Press. Estado de conservación: New. pp. 290 , 25 Illus. Nº de ref. de la librería 8316350

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

Comprar nuevo
EUR 50,48
Convertir moneda

Añadir al carrito

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

8.

Hüttel, Hans
Editorial: Cambridge University Press (2016)
ISBN 10: 0521147093 ISBN 13: 9780521147095
Nuevos Paperback Cantidad: 1
Impresión bajo demanda
Librería
Ria Christie Collections
(Uxbridge, Reino Unido)
Valoración
[?]

Descripción Cambridge University Press, 2016. Paperback. Estado de conservación: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Nº de ref. de la librería ria9780521147095_lsuk

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

Comprar nuevo
EUR 56,76
Convertir moneda

Añadir al carrito

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

9.

H?ttel, Hans
Editorial: Cambridge University Press (2010)
ISBN 10: 0521147093 ISBN 13: 9780521147095
Nuevos Cantidad: > 20
Impresión bajo demanda
Librería
Books2Anywhere
(Fairford, GLOS, Reino Unido)
Valoración
[?]

Descripción Cambridge University Press, 2010. PAP. Estado de conservación: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. de la librería LQ-9780521147095

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

Comprar nuevo
EUR 55,91
Convertir moneda

Añadir al carrito

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

10.

Hans Hüttel
Editorial: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2010)
ISBN 10: 0521147093 ISBN 13: 9780521147095
Nuevos Paperback Cantidad: 10
Impresión bajo demanda
Librería
The Book Depository
(London, Reino Unido)
Valoración
[?]

Descripción CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2010. Paperback. Estado de conservación: New. Language: English . Brand New Book ***** Print on Demand *****.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 AAV9780521147095

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

Comprar nuevo
EUR 58,87
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

Existen otras 12 copia(s) de este libro

Ver todos los resultados de su búsqueda