Artículos relacionados a Tools and Algorithms for the Construction and Analysis...
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ... Computer Science and General Issues) - Tapa blanda
Reseña del editor:
Contraportada:
This book is Open Access under a CC BY licence.
This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It's a special volume on the occasion of the 25 year anniversary of TACAS.
This book is Open Access under a CC BY licence.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer
- Año de publicación2019
- ISBN 10 3030175014
- ISBN 13 9783030175016
- EncuadernaciónTapa blanda
- Número de edición1
- Número de páginas288
- EditorBeyer Dirk, Huisman Marieke, Kordon Fabrice, Steffen Bernhard
Comprar nuevo
Ver este artículo
EUR 55,19
Gastos de envío:
EUR 2,47
A Estados Unidos de America
Los mejores resultados en AbeBooks
Imagen del vendedor
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of Tacas: Toolympics, Held As Part of Etaps 2019, Prague, Czech Republic, April 6?11, 2019, Proceedings
Publicado por
Springer
(2019)
ISBN 10: 3030175014
ISBN 13: 9783030175016
Nuevo
Tapa blanda
Cantidad disponible: 5
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: 35381385-n
Comprar nuevo
EUR 55,19
Convertir moneda
Imagen del vendedor
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, . Part III (Lecture Notes in Computer Science) [Paperback ]
Publicado por
Springer
(2019)
ISBN 10: 3030175014
ISBN 13: 9783030175016
Nuevo
Soft Cover
Cantidad disponible: 10
Librería:
Valoración
Descripción Soft Cover. Condición: new. This item is printed on demand. Nº de ref. del artículo: 9783030175016
Comprar nuevo
EUR 57,75
Convertir moneda
Imagen de archivo
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, . Computer Science and General Issues)
Publicado por
Springer
(2019)
ISBN 10: 3030175014
ISBN 13: 9783030175016
Nuevo
Tapa blanda
Cantidad disponible: > 20
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020008663
Comprar nuevo
EUR 62,12
Convertir moneda
Imagen de archivo
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics; Held as Part of ETAPS 2019; Prague; Czech Republic; April 6-11; 2019; Proceedings; Part III
Publicado por
Springer
(2019)
ISBN 10: 3030175014
ISBN 13: 9783030175016
Nuevo
Tapa blanda
Cantidad disponible: > 20
Librería:
Valoración
Descripción Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Nº de ref. del artículo: ria9783030175016_lsuk
Comprar nuevo
EUR 59,63
Convertir moneda
Gastos de envío:
EUR 11,80
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic,
Publicado por
Springer 2019-04
(2019)
ISBN 10: 3030175014
ISBN 13: 9783030175016
Nuevo
PF
Cantidad disponible: 10
Librería:
Valoración
Descripción PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783030175016
Comprar nuevo
EUR 56,16
Convertir moneda
Gastos de envío:
EUR 17,72
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6?11, 2019, Proceedings, Part III
Publicado por
Springer
(2019)
ISBN 10: 3030175014
ISBN 13: 9783030175016
Nuevo
Tapa blanda
Cantidad disponible: 4
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: 26376638236
Comprar nuevo
EUR 72,67
Convertir moneda
Imagen del vendedor
Tools and Algorithms for the Construction and Analysis of Systems
Publicado por
Springer International Publishing Apr 2019
(2019)
ISBN 10: 3030175014
ISBN 13: 9783030175016
Nuevo
Taschenbuch
Cantidad disponible: 2
Librería:
Valoración
Descripción Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is Open Access under a CC BY licence.This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It's a special volume on the occasion of the 25 year anniversary of TACAS. 288 pp. Englisch. Nº de ref. del artículo: 9783030175016
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
Imagen del vendedor
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of Tacas: Toolympics, Held As Part of Etaps 2019, Prague, Czech Republic, April 6â"11, 2019, Proceedings
Publicado por
Springer
(2019)
ISBN 10: 3030175014
ISBN 13: 9783030175016
Nuevo
Tapa blanda
Cantidad disponible: 5
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: 35381385-n
Comprar nuevo
EUR 59,18
Convertir moneda
Gastos de envío:
EUR 17,74
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6?11, 2019, Proceedings, Part III
Publicado por
Springer
(2019)
ISBN 10: 3030175014
ISBN 13: 9783030175016
Nuevo
Tapa blanda
Cantidad disponible: 4
Librería:
Valoración
Descripción Condición: New. Print on Demand. Nº de ref. del artículo: 369407171
Comprar nuevo
EUR 77,01
Convertir moneda
Gastos de envío:
EUR 7,68
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of Tacas: Toolympics, Held As Part of Etaps 2019, Prague, Czech Republic, April 611, 2019, Proceedings
Publicado por
Springer-Verlag New York Inc
(2019)
ISBN 10: 3030175014
ISBN 13: 9783030175016
Nuevo
Paperback
Cantidad disponible: 2
Librería:
Valoración
Descripción Paperback. Condición: Brand New. 288 pages. 9.25x6.10x0.71 inches. In Stock. Nº de ref. del artículo: x-3030175014
Comprar nuevo
EUR 76,92
Convertir moneda
Gastos de envío:
EUR 11,83
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío