Theories of Programming Languages

4 valoración promedio
( 6 valoraciones por GoodReads )
 
9780521106979: Theories of Programming Languages

First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming languages and of systems for specifying and proving program behaviour.

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

Review:

"I found the whole book a distinct pleasure to read and certainly recommend this text for consideration by instructors." Mathematical Reviews

"clearly structured...the presentation is clear, and the typesetting often helps the reader to understand the structure of the formulas. Each chapter contains valuable exercises and profound bibliographic notes that can serve as a starting point for further reading. I shall use this excellent textbook in my lectures." Computing Reviews

"...an important book...It is thorough and well organized, and the explanations are very clear. I found the technical content to be in almost every respect flawless. Although written to be a student text, I believe that most researchers (and many practitioners) in programming lanauges (and related fields) would find it worth reading." Journal of Functional Programming

From the Publisher:

First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming languages and of systems for specifying and proving programme behaviour. Both imperative and functional programming are covered, as well as the ways of integrating these aspects into more general languages. Recognising a unity of technique beneath the diversity of research in programming languages, the author presents an integrated treatment of the basic principles of the subject. He identifies the relatively small number of concepts, such as compositional semantics, binding structure, domains, transition systems and inference rules, that serve as the foundation of the field. Assuming only knowledge of elementary programming and mathematics, this text is perfect for advanced undergraduate and beginning graduate courses in programming language theory and also will appeal to researchers and professionals in designing or implementing computer languages.

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

Comprar nuevo Ver libro

Gastos de envío: GRATIS
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.

Reynolds, John C.
Editorial: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2009)
ISBN 10: 0521106974 ISBN 13: 9780521106979
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, 2009. Paperback. Estado de conservación: New. 244 x 170 mm. Language: English . Brand New Book ***** Print on Demand *****.First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming languages and of systems for specifying and proving programme behaviour. Both imperative and functional programming are covered, as well as the ways of integrating these aspects into more general languages. Recognising a unity of technique beneath the diversity of research in programming languages, the author presents an integrated treatment of the basic principles of the subject. He identifies the relatively small number of concepts, such as compositional semantics, binding structure, domains, transition systems and inference rules, that serve as the foundation of the field. Assuming only knowledge of elementary programming and mathematics, this text is perfect for advanced undergraduate and beginning graduate courses in programming language theory and also will appeal to researchers and professionals in designing or implementing computer languages. Nº de ref. de la librería AAV9780521106979

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

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

2.

Reynolds, John C.
Editorial: Cambridge University Press (2009)
ISBN 10: 0521106974 ISBN 13: 9780521106979
Nuevos Cantidad: > 20
Impresión bajo demanda
Librería
Books2Anywhere
(Fairford, GLOS, Reino Unido)
Valoración
[?]

Descripción Cambridge University Press, 2009. 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-9780521106979

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

Comprar nuevo
EUR 50,76
Convertir moneda

Añadir al carrito

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

3.

Reynolds, John C.
Editorial: Cambridge University Press (2009)
ISBN 10: 0521106974 ISBN 13: 9780521106979
Nuevos Cantidad: > 20
Impresión bajo demanda
Librería
PBShop
(Wood Dale, IL, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press, 2009. PAP. Estado de conservación: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. de la librería I2-9780521106979

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

Comprar nuevo
EUR 57,34
Convertir moneda

Añadir al carrito

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

4.

Reynolds, John C.
Editorial: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2009)
ISBN 10: 0521106974 ISBN 13: 9780521106979
Nuevos Paperback Cantidad: 10
Impresión bajo demanda
Librería
The Book Depository US
(London, Reino Unido)
Valoración
[?]

Descripción CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2009. Paperback. Estado de conservación: New. 244 x 170 mm. Language: English . Brand New Book ***** Print on Demand *****. First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming languages and of systems for specifying and proving programme behaviour. Both imperative and functional programming are covered, as well as the ways of integrating these aspects into more general languages. Recognising a unity of technique beneath the diversity of research in programming languages, the author presents an integrated treatment of the basic principles of the subject. He identifies the relatively small number of concepts, such as compositional semantics, binding structure, domains, transition systems and inference rules, that serve as the foundation of the field. Assuming only knowledge of elementary programming and mathematics, this text is perfect for advanced undergraduate and beginning graduate courses in programming language theory and also will appeal to researchers and professionals in designing or implementing computer languages. Nº de ref. de la librería AAV9780521106979

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

Comprar nuevo
EUR 61,21
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

5.

Reynolds, John C.
Editorial: Cambridge University Press (2016)
ISBN 10: 0521106974 ISBN 13: 9780521106979
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 ria9780521106979_lsuk

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

Comprar nuevo
EUR 58,94
Convertir moneda

Añadir al carrito

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

6.

Reynolds, John C.
Editorial: Cambridge University Press 2009-04-02 (2009)
ISBN 10: 0521106974 ISBN 13: 9780521106979
Nuevos Cantidad: 5
Librería
Chiron Media
(Wallingford, Reino Unido)
Valoración
[?]

Descripción Cambridge University Press 2009-04-02, 2009. Estado de conservación: New. Brand new book, sourced directly from publisher. Dispatch time is 24-48 hours from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Nº de ref. de la librería NU-ING-00912574

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

Comprar nuevo
EUR 66,07
Convertir moneda

Añadir al carrito

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

7.

Reynolds, John C.
Editorial: Cambridge University Press (2009)
ISBN 10: 0521106974 ISBN 13: 9780521106979
Nuevos Paperback Cantidad: 1
Librería
Ergodebooks
(RICHMOND, TX, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press, 2009. Paperback. Estado de conservación: New. 1. Nº de ref. de la librería DADAX0521106974

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

Comprar nuevo
EUR 81,82
Convertir moneda

Añadir al carrito

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

8.

Reynolds, John C.
Editorial: Cambridge University Press (2009)
ISBN 10: 0521106974 ISBN 13: 9780521106979
Nuevos Paperback Cantidad: 1
Librería
Irish Booksellers
(Rumford, ME, Estados Unidos de America)
Valoración
[?]

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

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

Comprar nuevo
EUR 85,71
Convertir moneda

Añadir al carrito

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

9.

Reynolds, John C.
Editorial: Cambridge University Press
ISBN 10: 0521106974 ISBN 13: 9780521106979
Nuevos PAPERBACK Cantidad: > 20
Librería
Russell Books
(Victoria, BC, Canada)
Valoración
[?]

Descripción Cambridge University Press. PAPERBACK. Estado de conservación: New. 0521106974 Special order direct from the distributor. Nº de ref. de la librería ING9780521106979

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

Comprar nuevo
EUR 86,69
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 6,60
De Canada a Estados Unidos de America
Destinos, gastos y plazos de envío

10.

Reynolds, John C.
Editorial: Cambridge University Press
ISBN 10: 0521106974 ISBN 13: 9780521106979
Nuevos Paperback Cantidad: 20
Librería
BuySomeBooks
(Las Vegas, NV, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press. Paperback. Estado de conservación: New. Paperback. 516 pages. Dimensions: 9.6in. x 6.7in. x 1.3in.This textbook is a broad but rigorous survey of the theoretical basis for the design, definition, and implementation of programming languages, and of systems for specifying and proving program behavior. It encompasses imperative and functional programming, as well as the ways of integrating these aspects into more general languages. Basic concepts and their properties are described with mathematical rigor, but the mathematical development is balanced by numerous examples of applications, particularly of program specification and proof, concurrent programming, functional programming (including the use of continuations and lazy evaluation), and type systems (including subtyping, polymorphism, and modularization). Assuming only knowledge of elementary programming, this text is perfect for advanced undergraduate and beginning graduate courses in programming language theory, and will also appeal to researchers and professionals in designing or implementing computer languages. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Paperback. Nº de ref. de la librería 9780521106979

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

Comprar nuevo
EUR 99,05
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,73
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