240 p. Good condition. The pages are clean and without markings. Slight signs of storage and use. Retired library copy with corresponding markings. Otherwise, a neat copy. 9780471929802 Sprache: Englisch Gewicht in Gramm: 1000.

N� de ref. del art�culo 317544

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Semantics With Applications: A Formal Introduction (Wiley Professional Computing)

Editor

John Wiley & Sons Ltd

Fecha de publicaci�n

1993

Idioma

Ingl�s

ISBN 10

0471929808

ISBN 13

9780471929802

Encuadernaci�n

Softcover

Cat�logos de vendedores

Informatik

Acerca de

Sinopsis

The purpose of this book is to present the fundamental ideas behind operational, denotional and axiomatic semantics; stress their relationship by formulating and proving relevant theorems; and to illustrate the applicability of formal semantics as a tool in computer science. The bulk of the text concentrates on a small core language of while-programs for which the three approaches are developed to roughly the same level of sophistication. To demonstrate the applicability of formal semantics, the authors show how to use semantics for validating prototype implementations of programming languages; how to use semantics for verifying analyses used in more advanced implementations of programming languages; and how to use semantics for verifying useful program properties including information about execution time. The reader should have some experience of functional programming and the BNF-style of specifying the syntax of programming languages.

Rese�a del editor

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

Descripci�n de la librer�a

Das Roland Antiquariat ist ein im Jahre 2001 gegr�ndetes Versand-Antiquariat mit einem breiten Sortiment antiquarischer und seltener B�cher aus zahlreichen Gebieten. Schwerpunkte sind Fotob�cher, Geschichte, Milit�rgeschichte, Kulturgeschichte,Philosophie, Orts- und Landeskunde sowie generell wissenschaftliche Literatur. Zur Erweiterung unseres Sortiments sind wir stets am Ankauf interessanter Einzelst�cke sowie gr��erer Sammlungen zu einem Thema oder auch ganzer Bibliotheken, vorzugsweise wissenschaftlichen Inhalts, interessiert. Rufen Sie uns gerne an unter 06201-7303617 oder schreiben Sie eine mail an info@rolandantiquariat.de. Als Versandantiquariat f�hren wir kein Ladengesch�ft mit festen �ffungszeiten, Besucher sind jedoch nach telefonischer Voranmeldung jederzeit willkommen.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Roland Antiquariat UG (haftungsbeschr�nkt)
M�hlweg 11, Weinheim, 69469, Germany

Condiciones de venta y env�o

Condiciones de venta

Impressum: Roland Antiquariat UG (haftungsbeschr�nkt), M�hlweg 11, 69469 Weinheim, Deutschland Tel.: 06201-7303617 Fax: 06201-2749959 E-Mail: info@rolandantiquariat.de Registergericht: Amtsgericht Mannheim Registernummer: HRB 725900 Gesch�ftsf�hrer: Ali Mert Umsatzsteuer-Identifikationsnummer gem�� 27 a Umsatzsteuergesetz: DE266059823 Link zur k�nftigen EU-Plattform zur Online-Streitbeilegung: www.ec.europa.eu/consumers/odr

Derecho a cancelaci�n

Condiciones de env�o

Wir versenden unsere B�cher mit der Deutschen Post (B�chersendung / Presse und Buch International) oder mit DHL (Paket national und international).

Tarifas de env�o de Alemania a Espa�a

Tarifas de env�o de Alemania a Espa�a
Cantidad del pedido	De 4 a 21 d�as h�biles	De 3 a 14 d�as h�biles
Primer art�culo	EUR 11.95	EUR 15.95

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.

Informaci�n detallada sobre el vendedor