Programming Languages and Systems: 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and . (Lecture Notes in Computer Science, 2305)

ISBN 10: 3540433635 ISBN 13: 9783540433637

Editorial: Springer, 2002

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 ria9783540433637_new

Denunciar este art�culo

Sinopsis:

ETAPS2002wasthe?fthinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13 satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS, and VISS), 8 invited lectures (not including those speci?c to the satellite events), and several tutorials. The events that comprise ETAPS address various aspects of the system - velopmentprocess,includingspeci?cation,design,implementation,analysis,and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.

Rese�a del editor: ETAPS2002wasthe?fthinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13 satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS, and VISS), 8 invited lectures (not including those speci?c to the satellite events), and several tutorials. The events that comprise ETAPS address various aspects of the system - velopmentprocess,includingspeci?cation,design,implementation,analysis,and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.

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

Detalles bibliogr�ficos

T�tulo: Programming Languages and Systems: 11th ...
Editorial: Springer
A�o de publicaci�n: 2002
Encuadernaci�n: Encuadernaci�n de tapa blanda
Condici�n: New

Los mejores resultados en AbeBooks

Imagen de archivo

Programming Languages and Systems: 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and . (Lecture Notes in Computer Science)

Le Metayer, Daniel [Editor]

Publicado por Springer, 2002

ISBN 10: 3540433635 ISBN 13: 9783540433637

Antiguo o usado Paperback

Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Paperback. Condici�n: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. N� de ref. del art�culo: UTD14a-1053

Contactar al vendedor

Comprar usado

EUR 41,96

EUR 5,95 shipping
Se env�a dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen del vendedor

Programming Languages and Systems

Le Metayer, Daniel

Publicado por Springer Berlin Heidelberg, 2002

ISBN 10: 3540433635 ISBN 13: 9783540433637

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. ETAPS2002wasthe?fthinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised 5 conferences (FOSS. N� de ref. del art�culo: 4890409

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

Programming Languages and Systems | 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings

Daniel Le Metayer

Publicado por Springer, 2002

ISBN 10: 3540433635 ISBN 13: 9783540433637

Nuevo Taschenbuch

Librería: preigu, Osnabr�ck, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. Programming Languages and Systems | 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings | Daniel Le Metayer | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2002 | Springer | EAN 9783540433637 | Verantwortliche Person f�r die EU: Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu. N� de ref. del art�culo: 101886061

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 del vendedor

Programming Languages and Systems

Daniel Le Metayer

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

ISBN 10: 3540433635 ISBN 13: 9783540433637

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 -ETAPS2002wasthe fthinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13 satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS, and VISS), 8 invited lectures (not including those speci c to the satellite events), and several tutorials. The events that comprise ETAPS address various aspects of the system - velopmentprocess,includingspeci cation,design,implementation,analysis,and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. 348 pp. Englisch. N� de ref. del art�culo: 9783540433637

Contactar al vendedor

Comprar nuevo

EUR 53,49

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

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen del vendedor

Programming Languages and Systems : 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings

Daniel Le Metayer

Publicado por Springer Berlin Heidelberg, 2002

ISBN 10: 3540433635 ISBN 13: 9783540433637

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 - ETAPS2002wasthe fthinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13 satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS, and VISS), 8 invited lectures (not including those speci c to the satellite events), and several tutorials. The events that comprise ETAPS address various aspects of the system - velopmentprocess,includingspeci cation,design,implementation,analysis,and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. N� de ref. del art�culo: 9783540433637

Contactar al vendedor

Comprar nuevo

EUR 53,49

EUR 62,64 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

Daniel Le Metayer

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

ISBN 10: 3540433635 ISBN 13: 9783540433637

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 -ETAPS2002wasthe fthinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13 satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS, and VISS), 8 invited lectures (not including those speci c to the satellite events), and several tutorials. The events that comprise ETAPS address various aspects of the system - velopmentprocess,includingspeci cation,design,implementation,analysis,and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. 348 pp. Englisch. N� de ref. del art�culo: 9783540433637

Contactar al vendedor