Semantics of Programming Languages and Model Theory (Classics in the History and Philosophy of Science)

Droste, Manfred and Yuri Gurevich:

ISBN 10: 2881249353 ISBN 13: 9782881249358

Editorial: Gordon & Breach Science Publishers Ltd 01.05.1993., 1993

Idioma: Ingl�s

Usado Condici�n: Sehr gut Encuadernaci�n de tapa dura

Guardar para m�s tarde

Vendido por NEPO UG, R�sselsheim am Main, Alemania

Vendedor de AbeBooks desde 15 de noviembre de 2018

Calificaci�n del vendedor: 5 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: Sehr gut

Precio: EUR 60,46 Convertir moneda

EUR 9,00 gastos de env�o desde Alemania 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

416 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 23,1 x 15,7 x 3,0 cm, Gebundene Ausgabe.

N� de ref. del art�culo 383858

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Semantics of Programming Languages and Model Theory (Classics in the History and Philosophy of Science)

Editor

Gordon & Breach Science Publishers Ltd 01.05.1993.

Fecha de publicaci�n

1993

Idioma

Ingl�s

ISBN 10

2881249353

ISBN 13

9782881249358

Encuadernaci�n

Encuadernaci�n de tapa dura

Estado

Sehr gut

Cat�logos de vendedores

Alle B�cher

Acerca de

Sinopsis

A conference on Semantics of Programming Languages and Model Theory was held at the International Conference and Research Center for Computer Science, SchloB D�gstuhl, during June 23-29, 1991. Participants from 10 countries represented a wide range of interests on the subject where the interaction of different fields is so fruitful. In particular, methods from algebra, logic and order theory were used for the solution of problems from denotational semantics and domain theory; this was reflected in some talks. Several other talks treated topics ranging from functional programming languages and database models to linear logic, boolean algebras and model theory. A number of lectures dealt with the quickly developing area of evolving algebras and in particular with evolving algebra semantics of PROLOG and its relatives. This volume contains papers presented at the conference and a few others submitted by colleagues unable to attend.

Acerca del autor

Manfred Droste Universitiit Gesamthochschule, Essen Germany and Yuri Gurevich University of Michigan, Ann Arbor, USA.

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

Descripci�n de la librer�a

Sitz der Gesellschaft: Fachbuecher-Weltversand NEPO UG Bahnhofsplatz 1 65428 R�sselsheim am Main eingetragen im Handelsregister des Amtsgerichtes Darmstadt Handelsregisternummer HRB 103822 ** Versandanschrift: Fachbuecher-Weltversand NEPO UG Bahnhofsplatz 1 65428 R�sselsheim am Main eingetragen im Handelsregister des Amtsgerichtes Darmstadt Handelsregisternummer HRB 103822 ** kundenservice @ fachbuecher-weltversand.de Umsatzsteuer-Identifikationsnummer gem�� 27a Umsatzsteuergesetz DE240798524

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

NEPO UG
Bahnhofsplatz 1, R�sselheim am Main, 65428, Germany

Condiciones de venta y env�o

Condiciones de venta

Widerrufsbelehrung
Widerrufsrecht
Sie haben das Recht, binnen vierzehn Tagen ohne Angabe von Gr�nden diesen Vertrag zu widerrufen.
Die Widerrufsfrist betr�gt vierzehn Tage ab dem Tag an dem Sie oder ein von Ihnen benannter Dritter, der nicht der Bef�rderer ist, die Waren in Besitz genommen haben bzw. hat..Um Ihr Widerrufsrecht auszu�ben, m�ssen Sie uns
NEPO UG
Bahnhofsplatz 1
65428 R�sselsheim am Main
eingetragen im Handelsregister des Amtsgerichtes Darmstadt
Handelsregisternummer HRB 103822
Ste...

M�s informaci�n