Artículos relacionados a Foundations of Software Science and Computation Structures:...

Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint ... Computer Science and General Issues) - Tapa blanda

 
9783662496299: Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint ... Computer Science and General Issues)

Reseña del editor

This book constitutes the proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.

The 31 full papers presented in this volume were carefully reviewed and selected from 85 submissions. They were organized in topical sections named: types; recursion and fixed-points; verification and program analysis; automata, logic, games; probabilistic and timed systems; proof theory and lambda calculus; algorithms for infinite systems; and monads.

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

  • EditorialSpringer
  • Año de publicación2016
  • ISBN 10 3662496291
  • ISBN 13 9783662496299
  • EncuadernaciónTapa blanda
  • IdiomaInglés
  • Número de edición1
  • Número de páginas564
  • EditorJacobs Bart, Löding Christof

Comprar usado

Condición: Como Nuevo
Unread book in perfect condition...
Ver este artículo

EUR 17,83 gastos de envío desde Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de envío

Comprar nuevo

Ver este artículo

EUR 3,56 gastos de envío en Estados Unidos de America

Destinos, gastos y plazos de envío

Otras ediciones populares con el mismo título

9783662496312: Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint ... The ... The Netherlands, April 2-8, 2016, Proceedin

Edición Destacada

ISBN 10:  3662496313 ISBN 13:  9783662496312
Editorial: Springer, 2016
Tapa blanda

Resultados de la búsqueda para Foundations of Software Science and Computation Structures:...

Imagen de archivo

Publicado por Springer, 2016
ISBN 10: 3662496291 ISBN 13: 9783662496299
Nuevo Tapa blanda

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

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020315277

Contactar al vendedor

Comprar nuevo

EUR 55,22
Convertir moneda
Gastos de envío: EUR 3,56
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Jacobs, Bart (EDT); Loding, Christof (EDT)
Publicado por Springer, 2016
ISBN 10: 3662496291 ISBN 13: 9783662496299
Nuevo Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: 25872684-n

Contactar al vendedor

Comprar nuevo

EUR 56,45
Convertir moneda
Gastos de envío: EUR 2,36
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Publicado por Springer, 2016
ISBN 10: 3662496291 ISBN 13: 9783662496299
Nuevo Tapa blanda

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

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. In. Nº de ref. del artículo: ria9783662496299_new

Contactar al vendedor

Comprar nuevo

EUR 62,21
Convertir moneda
Gastos de envío: EUR 14,24
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Christof Löding
ISBN 10: 3662496291 ISBN 13: 9783662496299
Nuevo Taschenbuch
Impresión bajo demanda

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

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 19thInternational Conference on Foundations of Software Science and ComputationStructures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, inApril 2016, held as Part of the European Joint Conferences on Theory andPractice of Software, ETAPS 2016.The 31 full papers presented in this volume werecarefully reviewed and selected from 85 submissions. They were organized intopical sections named: types; recursion and fixed-points; verification andprogram analysis; automata, logic, games; probabilistic and timed systems;proof theory and lambda calculus; algorithms for infinite systems; and monads. 564 pp. Englisch. Nº de ref. del artículo: 9783662496299

Contactar al vendedor

Comprar nuevo

EUR 53,49
Convertir moneda
Gastos de envío: EUR 23,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen del vendedor

Jacobs, Bart (EDT); Loding, Christof (EDT)
Publicado por Springer, 2016
ISBN 10: 3662496291 ISBN 13: 9783662496299
Nuevo Tapa blanda

Librería: GreatBookPricesUK, Woodford Green, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: 25872684-n

Contactar al vendedor

Comprar nuevo

EUR 62,20
Convertir moneda
Gastos de envío: EUR 17,83
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Christof Löding
Publicado por Springer Berlin Heidelberg, 2016
ISBN 10: 3662496291 ISBN 13: 9783662496299
Nuevo Taschenbuch

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

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 19thInternational Conference on Foundations of Software Science and ComputationStructures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, inApril 2016, held as Part of the European Joint Conferences on Theory andPractice of Software, ETAPS 2016.The 31 full papers presented in this volume werecarefully reviewed and selected from 85 submissions. They were organized intopical sections named: types; recursion and fixed-points; verification andprogram analysis; automata, logic, games; probabilistic and timed systems;proof theory and lambda calculus; algorithms for infinite systems; and monads. Nº de ref. del artículo: 9783662496299

Contactar al vendedor

Comprar nuevo

EUR 53,49
Convertir moneda
Gastos de envío: EUR 32,21
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Publicado por Springer, 2016
ISBN 10: 3662496291 ISBN 13: 9783662496299
Nuevo Tapa blanda

Librería: Books Puddle, New York, NY, Estados Unidos de America

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. pp. 550. Nº de ref. del artículo: 26375220546

Contactar al vendedor

Comprar nuevo

EUR 91,24
Convertir moneda
Gastos de envío: EUR 3,56
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 4 disponibles

Añadir al carrito

Imagen del vendedor

Jacobs, Bart|Löding, Christof
Publicado por Springer Berlin Heidelberg, 2016
ISBN 10: 3662496291 ISBN 13: 9783662496299
Nuevo Kartoniert / Broschiert
Impresión bajo demanda

Librería: moluna, Greven, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Kartoniert / Broschiert. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the 19thInternational Conference on Foundations of Software Science and ComputationStructures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, inApril 2016, held as Part of the European Joint Confere. Nº de ref. del artículo: 117180774

Contactar al vendedor

Comprar nuevo

EUR 48,37
Convertir moneda
Gastos de envío: EUR 48,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Jacobs, Bart (Editor)/ Loding, Christof (Editor)
Publicado por Springer-Verlag New York Inc, 2016
ISBN 10: 3662496291 ISBN 13: 9783662496299
Nuevo Paperback

Librería: Revaluation Books, Exeter, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Paperback. Condición: Brand New. 564 pages. 9.25x6.10x1.28 inches. In Stock. Nº de ref. del artículo: x-3662496291

Contactar al vendedor

Comprar nuevo

EUR 85,84
Convertir moneda
Gastos de envío: EUR 11,89
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen de archivo

Publicado por Springer, 2016
ISBN 10: 3662496291 ISBN 13: 9783662496299
Nuevo Tapa blanda
Impresión bajo demanda

Librería: Majestic Books, Hounslow, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Print on Demand pp. 550. Nº de ref. del artículo: 371906205

Contactar al vendedor

Comprar nuevo

EUR 91,98
Convertir moneda
Gastos de envío: EUR 7,73
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 4 disponibles

Añadir al carrito

Existen otras 4 copia(s) de este libro

Ver todos los resultados de su búsqueda