Foundations for Programming Languages (Foundations of Computing)

4,56 valoración promedio
( 9 valoraciones por Goodreads )
 
9780262133210: Foundations for Programming Languages (Foundations of Computing)

Written for advanced undergraduate and beginning graduate students, Foundations for Programming Languages uses a series of typed lambda calculi to study the axiomatic, operational, and denotational semantics of sequential programming languages. Later chapters are devoted to progressively more sophisticated type systems. Compared to other texts on the subject, Foundations for Programming Languages is distinguished primarily by its inclusion of material on universal algebra and algebraic data types, imperative languages and Floyd-Hoare logic, and advanced chapters on polymorphism and modules, subtyping and object-oriented concepts, and type inference. The book is mathematically oriented but includes discussion, motivation, and examples that make the material accessible to students specializing in software systems, theoretical computer science, or mathematical logic. Foundations for Programming Languages is suitable as a reference for professionals concerned with programming languages, software validation or verification, and programming, including those working with software modules or object-oriented programming.Foundations of Computing series

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

From the Back Cover:

Written for advanced undergraduate and beginning graduate students, Foundations for Programming Languages uses a series of typed lambda calculi to study the axiomatic, operational, and denotational semantics of sequential programming languages. Later chapters are devoted to progressively more sophisticated type systems.

About the Author:

John C. Mitchell is Associate Professor, Department of Computer Science, Stanford University.

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

Los mejores resultados en AbeBooks

1.

Mitchell
ISBN 10: 0262133210 ISBN 13: 9780262133210
Nuevos Cantidad: 1
Librería
Bookshub
(Karol Bagh, India)
Valoración
[?]

Descripción Estado de conservación: New. New. US edition. Perfect condition. Customer satisfaction our priority. Nº de ref. de la librería ABE-FEB-29316

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

Comprar nuevo
EUR 53,20
Convertir moneda

Añadir al carrito

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

2.

Mitchell
ISBN 10: 0262133210 ISBN 13: 9780262133210
Nuevos Cantidad: 1
Librería
EBOOKSTORE2010
(New Delhi, ND, India)
Valoración
[?]

Descripción Estado de conservación: Brand New. New. US edition. Customer Satisfaction guaranteed!!. Nº de ref. de la librería SHUB29316

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

Comprar nuevo
EUR 53,25
Convertir moneda

Añadir al carrito

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

3.

Mitchell
ISBN 10: 0262133210 ISBN 13: 9780262133210
Nuevos Cantidad: 1
Librería
Basi6 International
(Irving, TX, Estados Unidos de America)
Valoración
[?]

Descripción Estado de conservación: Brand New. New, US edition. Excellent Customer Service. Nº de ref. de la librería ABEUSA-29316

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

Comprar nuevo
EUR 55,86
Convertir moneda

Añadir al carrito

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

4.

Mitchell, John C.
Editorial: The MIT Press
ISBN 10: 0262133210 ISBN 13: 9780262133210
Nuevos Tapa dura Cantidad: 1
Librería
Cloud 9 Books
(Wellington, FL, Estados Unidos de America)
Valoración
[?]

Descripción The MIT Press. Hardcover. Estado de conservación: New. 0262133210 New Condition. Nº de ref. de la librería NEW7.0063149

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

Comprar nuevo
EUR 52,14
Convertir moneda

Añadir al carrito

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

5.

Mitchell, John C.
Editorial: The MIT Press (1996)
ISBN 10: 0262133210 ISBN 13: 9780262133210
Nuevos Tapa dura Cantidad: 2
Librería
Murray Media
(North Miami Beach, FL, Estados Unidos de America)
Valoración
[?]

Descripción The MIT Press, 1996. Hardcover. Estado de conservación: New. Never used!. Nº de ref. de la librería P110262133210

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

Comprar nuevo
EUR 58,37
Convertir moneda

Añadir al carrito

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

6.

John C. Mitchell
Editorial: MIT Press
ISBN 10: 0262133210 ISBN 13: 9780262133210
Nuevos Cantidad: > 20
Librería
INDOO
(Avenel, NJ, Estados Unidos de America)
Valoración
[?]

Descripción MIT Press. Estado de conservación: New. Brand New. Nº de ref. de la librería 0262133210

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

Comprar nuevo
EUR 84,30
Convertir moneda

Añadir al carrito

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

7.

Mitchell, John C.
ISBN 10: 0262133210 ISBN 13: 9780262133210
Nuevos Cantidad: > 20
Librería
Paperbackshop-US
(Wood Dale, IL, Estados Unidos de America)
Valoración
[?]

Descripción 1996. 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 TM-9780262133210

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

Comprar nuevo
EUR 84,18
Convertir moneda

Añadir al carrito

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

8.

Mitchell John C.
Editorial: MIT Press
ISBN 10: 0262133210 ISBN 13: 9780262133210
Nuevos Cantidad: 4
Librería
Majestic Books
(London, ,, Reino Unido)
Valoración
[?]

Descripción MIT Press. Estado de conservación: New. pp. 845. Nº de ref. de la librería 7573269

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

Comprar nuevo
EUR 100,98
Convertir moneda

Añadir al carrito

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

9.

John C. Mitchell
Editorial: MIT Press Ltd, United States (1996)
ISBN 10: 0262133210 ISBN 13: 9780262133210
Nuevos Tapa dura Cantidad: 10
Librería
Book Depository hard to find
(London, Reino Unido)
Valoración
[?]

Descripción MIT Press Ltd, United States, 1996. Hardback. Estado de conservación: New. Language: English . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. Brand New Book. Written for advanced undergraduate and beginning graduate students, Foundations for Programming Languages uses a series of typed lambda calculi to study the axiomatic, operational, and denotational semantics of sequential programming languages. Later chapters are devoted to progressively more sophisticated type systems.Compared to other texts on the subject, Foundations for Programming Languages is distinguished primarily by its inclusion of material on universal algebra and algebraic data types, imperative languages and Floyd-Hoare logic, and advanced chapters on polymorphism and modules, subtyping and object-oriented concepts, and type inference. The book is mathematically oriented but includes discussion, motivation, and examples that make the material accessible to students specializing in software systems, theoretical computer science, or mathematical logic.Foundations for Programming Languages is suitable as a reference for professionals concerned with programming languages, software validation or verification, and programming, including those working with software modules or object-oriented programming.Foundations of Computing series. Nº de ref. de la librería BTE9780262133210

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

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

10.

John C. Mitchell
Editorial: The MIT Press (1996)
ISBN 10: 0262133210 ISBN 13: 9780262133210
Nuevos Tapa dura Cantidad: 1
Librería
Irish Booksellers
(Rumford, ME, Estados Unidos de America)
Valoración
[?]

Descripción The MIT Press, 1996. Hardcover. Estado de conservación: New. book. Nº de ref. de la librería M0262133210

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

Comprar nuevo
EUR 117,68
Convertir moneda

Añadir al carrito

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