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
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
De la contraportada
This book is Open Access under a CC BY licence.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 44,99
EUR 9,24 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Tools and Algorithms for the Construction and Analysis...
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 International Publishing, 2019
ISBN 10: 3030175014
ISBN 13: 9783030175016
Antiguo o usado
Tapa blanda
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 34305919/1
Cantidad disponible: 1 disponibles
Imagen de archivo
TOOLS AND ALGORITHMS FOR THE CONSTRUCTIO
Librería: Speedyhen, London, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: NEW. Nº de ref. del artículo: NW9783030175016
Cantidad disponible: 1 disponibles
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)
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: ria9783030175016_new
Cantidad disponible: Más de 20 disponibles
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
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 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
Cantidad disponible: 2 disponibles
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, Part III
Publicado por
Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030175014
ISBN 13: 9783030175016
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 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. Nº de ref. del artículo: 9783030175016
Cantidad disponible: 1 disponibles
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
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 35381385
Cantidad disponible: 1 disponibles
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
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 35381385-n
Cantidad disponible: 1 disponibles
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
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 288 pages. 9.25x6.10x0.71 inches. In Stock. This item is printed on demand. Nº de ref. del artículo: __3030175014
Cantidad disponible: 1 disponibles
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
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 35381385
Cantidad disponible: 1 disponibles
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,
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783030175016
Cantidad disponible: 10 disponibles