Programming Language Syntax and Semantics (Prentice-hall International Series in Computer Science)

Watt, David A., Thomas, Muffy

ISBN 10: 0137262663 ISBN 13: 9780137262663

Editorial: Prentice Hall, 1991

Idioma: Ingl�s

Condici�n: Usado - Aceptable Encuadernaci�n de tapa dura

Guardar para m�s tarde

Vendido por dsmbooks, Liverpool, Reino Unido

Vendedor de AbeBooks desde 28 de septiembre de 2015

Calificaci�n del vendedor: 4 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa dura

Condici�n: Usado - Aceptable

Precio: EUR 130,60 Convertir moneda

EUR 31,02 gastos de env�o desde Reino Unido a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

Good.

N� de ref. del art�culo D7S9-1-M-0137262663-3

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Programming Language Syntax and Semantics (Prentice-hall International Series in Computer Science)
Editor: Prentice Hall
Fecha de publicaci�n: 1991
Idioma: Ingl�s
ISBN 10: 0137262663
ISBN 13: 9780137262663
Encuadernaci�n: Hardcover
Estado: Good
Tipo de libro: book

Acerca de

Sinopsis

This book introduces students to the formal methods of specifying the syntax and semantics of programming languages. For syntax, context-free grammars (BNF) and regular expressions are covered. For semantics, the methods of algebraic semantics, denotational semantics and action semantics are covered. Students should learn how to understand formal specifications of programming languages, how to write such specifications and how they may inform the process of language design. The text contains a treatment of syntax and semantics, and coverage of several complementary semantic methods, with emphasis on using formal specification. There is brief coverage of underlying theory (and pointers to further reading), and an introduction to action semantics - a new method of specifying semantics.

Rese�a del editor

This book introduces students to the formal methods of specifying the syntax and semantics of programming languages. For syntax, context-free grammars (BNF) and regular expressions are covered. For semantics, the methods of algebraic semantics, denotational semantics and action semantics are covered. Students should learn how to understand formal specifications of programming languages, how to write such specifications and how they may inform the process of language design. The text contains a treatment of syntax and semantics, and coverage of several complementary semantic methods, with emphasis on using formal specification. There is brief coverage of underlying theory (and pointers to further reading), and an introduction to action semantics - a new method of specifying semantics.

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

Descripci�n de la librer�a

collection of few very good books

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

dsmbooks
United Kingdom

Condiciones de venta y env�o

Condiciones de venta

we ship all orders with in the specified shipping date.

Condiciones de env�o

We use international air service to deliver products.

M�todos de pago

A�adir una petici�n