Name: Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of Tacas: Toolympics, Held as Part of Etaps 2019, Prague, Czech Republic, (en Inglés)
Price: 317767.00 COP
Availability: InStock
Author: Beyer, Dirk ; Huisman, Marieke ; Kordon, Fabrice
ISBN: 9783030175016

portada Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of Tacas: Toolympics, Held as Part of Etaps 2019, Prague, Czech Republic, (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Beyer, Dirk ; Huisman, Marieke ; Kordon, Fabrice

Idioma

Inglés

N° páginas

258

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 1.5 cm

Peso

0.41 kg.

ISBN13

9783030175016

Categorías

Lógica matemática
Programación informática - desarrollo de software

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of Tacas: Toolympics, Held as Part of Etaps 2019, Prague, Czech Republic, (en Inglés)

Beyer, Dirk ; Huisman, Marieke ; Kordon, Fabrice (Autor) · Springer · Tapa Blanda

Libro Nuevo

$ 317.767

$ 529.611

Ahorras: $ 211.844

40% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Lunes 29 de Julio y el Lunes 12 de Agosto.

Lo recibirás en cualquier lugar de Colombia entre 1 y 5 días hábiles luego del envío.

Reseña del libro "Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of Tacas: Toolympics, Held as Part of Etaps 2019, Prague, Czech Republic, (en Inglés)"

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.