Programming Languages and Systems: 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and . (Programming and Software Engineering)

ISBN 10: 3642370357 ISBN 13: 9783642370359

Editorial: Springer, 2013

Nuevos Encuadernaci�n de tapa blanda

Librer�a: Ria Christie Collections, Uxbridge, Reino Unido Calificaci�n del vendedor: 5 de 5 estrellas

Vendedor de AbeBooks desde 25 de marzo de 2015

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

In. N� de ref. del art�culo ria9783642370359_new

Denunciar este art�culo

Sinopsis:

This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. The 31 papers, presented together with a full-length invited talk, were carefully reviewed and selected from 120 full submissions. The contributions have been organized according to ten topical sections on programming techniques; programming tools; separation logic; gradual typing; shared-memory concurrency and verification; process calculi; taming concurrency; model checking and verification; weak-memory concurrency and verification; and types, inference, and analysis.

Rese�a del editor: This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. The 31 papers, presented together with a full-length invited talk, were carefully reviewed and selected from 120 full submissions. The contributions have been organized according to ten topical sections on programming techniques; programming tools; separation logic; gradual typing; shared-memory concurrency and verification; process calculi; taming concurrency; model checking and verification; weak-memory concurrency and verification; and types, inference, and analysis.

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

Detalles bibliogr�ficos

T�tulo: Programming Languages and Systems: 22nd ...
Editorial: Springer
A�o de publicaci�n: 2013
Encuadernaci�n: Encuadernaci�n de tapa blanda
Condici�n: New

Los mejores resultados en AbeBooks

Imagen de archivo

Programming Languages and Systems : 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Unbekannt

Publicado por J.B. Metzler, 2013

ISBN 10: 3642370357 ISBN 13: 9783642370359

Antiguo o usado Tapa blanda

Librería: Buchpark, Trebbin, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: Sehr gut. Zustand: Sehr gut | Seiten: 640 | Sprache: Englisch | Produktart: B�cher | Keine Beschreibung verf�gbar. N� de ref. del art�culo: 23512964/12

Contactar al vendedor

Comprar usado

EUR 35,81

EUR 105,00 shipping
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen del vendedor

Programming Languages and Systems

Felleisen, Matthias|Gardner, Philippa

Publicado por Springer Berlin Heidelberg, 2013

ISBN 10: 3642370357 ISBN 13: 9783642370359

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. Contains the proceedings of ESOP 2013 Presents 31 full-length papers, two of which focus on tools, as well as a full-length invited talk Covers all aspects of the art and science of programmingThis book constitutes the refereed proc. N� de ref. del art�culo: 5058481

Contactar al vendedor

Comprar nuevo

EUR 48,37

EUR 48,99 shipping
Se env�a 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

Programming Languages and Systems | 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Matthias Felleisen (u. a.)

Publicado por Springer, 2013

ISBN 10: 3642370357 ISBN 13: 9783642370359

Nuevo Taschenbuch

Librería: preigu, Osnabr�ck, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. Programming Languages and Systems | 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings | Matthias Felleisen (u. a.) | Taschenbuch | xx | Englisch | 2013 | Springer | EAN 9783642370359 | Verantwortliche Person f�r die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. N� de ref. del art�culo: 106054094

Contactar al vendedor

Comprar nuevo

EUR 50,35

EUR 70,00 shipping
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 5 disponibles

A�adir al carrito

Imagen de archivo

Programming Languages and Systems: 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and ... (Programming and Software Engineering)

Publicado por Springer, 2013

ISBN 10: 3642370357 ISBN 13: 9783642370359

Nuevo Tapa blanda

Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. N� de ref. del art�culo: ABLIING23Mar3113020225326

Contactar al vendedor

Comprar nuevo

EUR 52,96

EUR 3,40 shipping
Se env�a dentro de Estados Unidos de America

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Programming Languages and Systems : 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Philippa Gardner

Publicado por Springer Berlin Heidelberg, 2013

ISBN 10: 3642370357 ISBN 13: 9783642370359

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 book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013.The 31 papers, presented together with a full-length invited talk, were carefully reviewed and selected from 120 full submissions. The contributions have been organized according to ten topical sections on programming techniques; programming tools; separation logic; gradual typing; shared-memory concurrency and verification; process calculi; taming concurrency; model checking and verification; weak-memory concurrency and verification; and types, inference, and analysis. N� de ref. del art�culo: 9783642370359

Contactar al vendedor

Comprar nuevo

EUR 53,49

EUR 64,78 shipping
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen del vendedor

Programming Languages and Systems

Philippa Gardner

Publicado por Springer Berlin Heidelberg, Springer Berlin Heidelberg Feb 2013, 2013

ISBN 10: 3642370357 ISBN 13: 9783642370359

Nuevo Taschenbuch

Impresi�n bajo demanda

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013.The 31 papers, presented together with a full-length invited talk, were carefully reviewed and selected from 120 full submissions. The contributions have been organized according to ten topical sections on programming techniques; programming tools; separation logic; gradual typing; shared-memory concurrency and verification; process calculi; taming concurrency; model checking and verification; weak-memory concurrency and verification; and types, inference, and analysis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 640 pp. Englisch. N� de ref. del art�culo: 9783642370359

Contactar al vendedor

Comprar nuevo

EUR 53,49

EUR 60,00 shipping
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen del vendedor

Programming Languages and Systems

Philippa Gardner

Publicado por Springer Berlin Heidelberg Feb 2013, 2013

ISBN 10: 3642370357 ISBN 13: 9783642370359

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 book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013.The 31 papers, presented together with a full-length invited talk, were carefully reviewed and selected from 120 full submissions. The contributions have been organized according to ten topical sections on programming techniques; programming tools; separation logic; gradual typing; shared-memory concurrency and verification; process calculi; taming concurrency; model checking and verification; weak-memory concurrency and verification; and types, inference, and analysis. 640 pp. Englisch. N� de ref. del art�culo: 9783642370359

Contactar al vendedor