Theoretical Aspects of Computer Software: International.

ISBN 10: 3540578870 ISBN 13: 9783540578871

Editorial: Springer, 1994

Nuevos Encuadernaci�n de tapa blanda

Librer�a: Books Puddle, New York, NY, Estados Unidos de America Calificaci�n del vendedor: 4 de 5 estrellas

Vendedor de AbeBooks desde 22 de noviembre de 2018

Este art�culo en concreto ya no est� disponible.

Ver los art�culos de este vendedor Crear una petici�n para art�culos similares

Ver todos los ejemplares de este libro

Descripci�n

pp. 892. N� de ref. del art�culo 26357656381

Denunciar este art�culo

Sinopsis:

This volume contains the proceedings of the Second International Symposium on Theoretical Aspects of Computer Science, held at Tohoku University, Japan in April 1994. This top-level international symposium on theoretical computer science is devoted to theoretical aspects of programming, programming languages and system, and parallel and distributed computation. The papers in the volume are grouped into sessions on: lambda calculus and programming; automated deduction; functional programming; objects and assignments; concurrency; term rewriting and process equivalence; type theory and programming; algebra, categories and linear logic; and subtyping, intersection and union types. The volume also includes seven invited talks and two open lectures.

Rese�a del editor: This volume contains the proceedings of the Second International Symposium on Theoretical Aspects of Computer Science, held at Tohoku University, Japan in April 1994. This top-level international symposium on theoretical computer science is devoted to theoretical aspects of programming, programming languages and system, and parallel and distributed computation. The papers in the volume are grouped into sessions on: lambda calculus and programming; automated deduction; functional programming; objects and assignments; concurrency; term rewriting and process equivalence; type theory and programming; algebra, categories and linear logic; and subtyping, intersection and union types. The volume also includes seven invited talks and two open lectures.

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

Detalles bibliogr�ficos

T�tulo: Theoretical Aspects of Computer Software: ...
Editorial: Springer
A�o de publicaci�n: 1994
Encuadernaci�n: Encuadernaci�n de tapa blanda
Condici�n: New

Los mejores resultados en AbeBooks

Imagen de archivo

Theoretical Aspects of Computer Software: International Symposium TACS �94 Sendai, Japan, April 19�"22, 1994 Proceedings (Lecture Notes in Computer Science, 789)

Publicado por Springer, 1994

ISBN 10: 3540578870 ISBN 13: 9783540578871

Antiguo o usado paperback

Librería: HPB-Red, Dallas, TX, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

paperback. Condici�n: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! N� de ref. del art�culo: S_321617895

Contactar al vendedor

Comprar usado

EUR 42,96

Gastos de env�o: EUR 3,24

A Estados Unidos de America

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen del vendedor

Theoretical Aspects of Computer Software

Hagiya, Masami|Mitchell, John C.

Publicado por Springer Berlin Heidelberg, 1994

ISBN 10: 3540578870 ISBN 13: 9783540578871

Nuevo Tapa blanda

Impresi�n bajo demanda

Librería: moluna, Greven, Alemania

Calificaci�n del vendedor: 4 de 5 estrellas

Condici�n: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains the proceedings of the Second International Symposium on Theoretical Aspects of Computer Science, held at Tohoku University, Japan in April 1994. This top-level international symposium on theoretical computer science is devoted to theor. N� de ref. del art�culo: 448941160

Contactar al vendedor

Comprar nuevo

EUR 48,37

Gastos de env�o: EUR 48,99

De Alemania a Estados Unidos de America

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

M�s im�genes

Theoretical Aspects of Computer Software | International Symposium TACS '94 Sendai, Japan, April 19-22, 1994 Proceedings

John C. Mitchell (u. a.)

Publicado por Springer-Verlag GmbH, 1994

ISBN 10: 3540578870 ISBN 13: 9783540578871

Nuevo Taschenbuch

Librería: preigu, Osnabr�ck, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Contactar al vendedor

Comprar nuevo

EUR 50,95

Gastos de env�o: EUR 70,00

De Alemania a Estados Unidos de America

Cantidad disponible: 5 disponibles

A�adir al carrito

Imagen del vendedor

Theoretical Aspects of Computer Software : International Symposium TACS �94 Sendai, Japan, April 19�22, 1994 Proceedings

John C. Mitchell

Publicado por Springer Berlin Heidelberg, 1994

ISBN 10: 3540578870 ISBN 13: 9783540578871

Nuevo Taschenbuch

Librería: AHA-BUCH GmbH, Einbeck, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the Second International Symposium on Theoretical Aspects of Computer Science, held at Tohoku University, Japan in April 1994. This top-level international symposium on theoretical computer science is devoted to theoretical aspects of programming, programming languages and system, and parallel and distributed computation. The papers in the volume are grouped into sessions on: lambda calculus and programming; automated deduction; functional programming; objects and assignments; concurrency; term rewriting and process equivalence; type theory and programming; algebra, categories and linear logic; and subtyping, intersection and union types. The volume also includes seven invited talks and two open lectures. N� de ref. del art�culo: 9783540578871

Contactar al vendedor

Comprar nuevo

EUR 53,49

Gastos de env�o: EUR 66,73

De Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen del vendedor

Theoretical Aspects of Computer Software

John C. Mitchell

Publicado por Springer Berlin Heidelberg, Springer Berlin Heidelberg M�r 1994, 1994

ISBN 10: 3540578870 ISBN 13: 9783540578871

Nuevo Taschenbuch

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. Neuware -This volume contains the proceedings of the Second International Symposium on Theoretical Aspects of Computer Science, held at Tohoku University, Japan in April 1994. This top-level international symposium on theoretical computer science is devoted to theoretical aspects of programming, programming languages and system, and parallel and distributed computation. The papers in the volume are grouped into sessions on: lambda calculus and programming; automated deduction; functional programming; objects and assignments; concurrency; term rewriting and process equivalence; type theory and programming; algebra, categories and linear logic; and subtyping, intersection and union types. The volume also includes seven invited talks and two open lectures.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 908 pp. Englisch. N� de ref. del art�culo: 9783540578871

Contactar al vendedor

Comprar nuevo

EUR 53,49

Gastos de env�o: EUR 60,00

De Alemania a Estados Unidos de America

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen del vendedor

Theoretical Aspects of Computer Software

John C. Mitchell

Publicado por Springer Berlin Heidelberg Mrz 1994, 1994

ISBN 10: 3540578870 ISBN 13: 9783540578871

Nuevo Taschenbuch

Impresi�n bajo demanda

Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the Second International Symposium on Theoretical Aspects of Computer Science, held at Tohoku University, Japan in April 1994. This top-level international symposium on theoretical computer science is devoted to theoretical aspects of programming, programming languages and system, and parallel and distributed computation. The papers in the volume are grouped into sessions on: lambda calculus and programming; automated deduction; functional programming; objects and assignments; concurrency; term rewriting and process equivalence; type theory and programming; algebra, categories and linear logic; and subtyping, intersection and union types. The volume also includes seven invited talks and two open lectures. 908 pp. Englisch. N� de ref. del art�culo: 9783540578871

Contactar al vendedor