Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings: 12561 (Theoretical Computer Science and General Issues) - Tapa blanda

9783030684457: Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings: 12561 (Theoretical Computer Science and General Issues)

Tapa blanda

ISBN 10: 3030684458 ISBN 13: 9783030684457

Editorial: Springer, 2021

Ver todas las copias de esta edici�n del ISBN

2 Usado

De EUR 91,08

14 Nuevo

De EUR 70,33

This book constitutes the refereed proceedings of the 30^th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020.

The 15 papers presented in this volume were carefully reviewed and selected from a total of 31 submissions. The book also contains two invited talks in full paper length. The contributions were organized in topical sections named: rewriting; unification; types; verification; model checking and probabilistic programming; program analysis and testing; and logics.

"Sinopsis" puede pertenecer a otra edici�n de este libro.

Acerca del autor

Charlotte y Peter Fiell son dos autoridades en historia, teor�a y cr�tica del dise�o y han escrito m�s de sesenta libros sobre la materia, muchos de los cuales se han convertido en �xitos de ventas. Tambi�n han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Dise�o del siglo XX, El dise�o industrial de la A a la Z, Scandinavian Design y Dise�o del siglo XXI.

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

Editorial: Springer
A�o de publicaci�n: 2021
Idioma: Ingl�s
ISBN 10: 3030684458
ISBN 13: 9783030684457
Encuadernaci�n: Tapa blanda
N�mero de edici�n: 1
N�mero de p�ginas: 356
Editor: Fern�ndez Maribel
Contacto del fabricante: no disponible

Comprar usado

Condici�n: Como Nuevo

Unread book in perfect condition...

Ver este art�culo

EUR 91,08

Convertir moneda

EUR 16,97 gastos de env�o desde Estados Unidos de America a Espa�a

Destinos, gastos y plazos de env�o

A�adir al carrito

Comprar nuevo

Ver este art�culo

EUR 70,33

Convertir moneda

EUR 19,49 gastos de env�o desde Alemania a Espa�a

Destinos, gastos y plazos de env�o

A�adir al carrito

Resultados de la b�squeda para Logic-Based Program Synthesis and Transformation: 30th...

Imagen del vendedor

Logic-Based Program Synthesis and Transformation

Publicado por Springer International Publishing, 2021

ISBN 10: 3030684458 ISBN 13: 9783030684457

Nuevo Tapa blanda

Impresi�n bajo demanda

Librería: moluna, Greven, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020. The 15 papers presented in this volume were. N� de ref. del art�culo: 448686605

Contactar al vendedor

Comprar nuevo

EUR 70,33

Convertir moneda

Gastos de env�o: EUR 19,49

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen de archivo

Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings (Theoretical Computer Science and General Issues)

Publicado por Springer, 2021

ISBN 10: 3030684458 ISBN 13: 9783030684457

Nuevo Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

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

Contactar al vendedor

Comprar nuevo

EUR 85,51

Convertir moneda

Gastos de env�o: EUR 5,20

De Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Logic-Based Program Synthesis and Transformation

Maribel Fern�ndez

Publicado por Springer International Publishing Feb 2021, 2021

ISBN 10: 3030684458 ISBN 13: 9783030684457

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 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020. The 15 papers presented in this volume were carefully reviewed and selected from a total of 31 submissions. The book also contains two invited talks in full paper length. The contributions were organized in topical sections named: rewriting; unification; types; verification; model checking and probabilistic programming; program analysis and testing; and logics. 356 pp. Englisch. N� de ref. del art�culo: 9783030684457

Contactar al vendedor

Comprar nuevo

EUR 80,24

Convertir moneda

Gastos de env�o: EUR 11,00

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen del vendedor

Logic-Based Program Synthesis and Transformation : 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7�9, 2020, Proceedings

Maribel Fern�ndez

Publicado por Springer International Publishing, 2021

ISBN 10: 3030684458 ISBN 13: 9783030684457

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 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020. The 15 papers presented in this volume were carefully reviewed and selected from a total of 31 submissions. The book also contains two invited talks in full paper length. The contributions were organized in topical sections named: rewriting; unification; types; verification; model checking and probabilistic programming; program analysis and testing; and logics. N� de ref. del art�culo: 9783030684457

Contactar al vendedor