Articoli correlati 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, April 6–11, 2019, Proceedings, Part III: 11429 - Brossura
- EditoreSpringer
- Data di pubblicazione2019
- ISBN 10 3030175014
- ISBN 13 9783030175016
- RilegaturaCopertina flessibile
- Numero edizione1
- Numero di pagine288
- RedattoreBeyer Dirk, Huisman Marieke, Kordon Fabrice, Steffen Bernhard
Compra nuovo
Scopri di più su questo articolo
EUR 56,89
Spese di spedizione:
GRATIS
In U.S.A.
I migliori risultati di ricerca su AbeBooks
Immagini fornite dal venditore
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 ]
Print on Demand
Da:
Valutazione libreria
Descrizione libro Soft Cover. Condizione: new. This item is printed on demand. Codice articolo 9783030175016
Compra nuovo
EUR 56,89
Convertire valuta
Foto dell'editore
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)
Da:
Valutazione libreria
Descrizione libro Condizione: New. Codice articolo ABLIING23Mar3113020008663
Compra nuovo
EUR 61,20
Convertire valuta
Foto dell'editore
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
Da:
Valutazione libreria
Descrizione libro Condizione: New. Codice articolo 26376638236
Compra nuovo
EUR 66,72
Convertire valuta
Immagini fornite dal venditore
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
Da:
Valutazione libreria
Descrizione libro Condizione: New. Codice articolo 35381385-n
Compra nuovo
EUR 67,99
Convertire valuta
Foto dell'editore
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
Print on Demand
Da:
Valutazione libreria
Descrizione libro Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Codice articolo ria9783030175016_lsuk
Compra nuovo
EUR 59,21
Convertire valuta
Foto dell'editore
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic,
Da:
Valutazione libreria
Descrizione libro PF. Condizione: New. Codice articolo 6666-IUK-9783030175016
Compra nuovo
EUR 55,76
Convertire valuta
Immagini fornite dal venditore
Tools and Algorithms for the Construction and Analysis of Systems
Editore:
Springer International Publishing Apr 2019
(2019)
ISBN 10: 3030175014
ISBN 13: 9783030175016
Nuovo
Taschenbuch
Quantità: 2
Da:
Valutazione libreria
Descrizione libro Taschenbuch. Condizione: 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. Codice articolo 9783030175016
Compra nuovo
EUR 53,49
Convertire valuta
Foto dell'editore
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
Print on Demand
Da:
Valutazione libreria
Descrizione libro Condizione: New. Print on Demand. Codice articolo 369407171
Compra nuovo
EUR 70,61
Convertire valuta
Foto dell'editore
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
Editore:
Springer-Verlag New York Inc
(2019)
ISBN 10: 3030175014
ISBN 13: 9783030175016
Nuovo
Paperback
Quantità: 2
Da:
Valutazione libreria
Descrizione libro Paperback. Condizione: Brand New. 288 pages. 9.25x6.10x0.71 inches. In Stock. Codice articolo x-3030175014
Compra nuovo
EUR 75,87
Convertire valuta
Immagini fornite dal venditore
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
Editore:
Springer International Publishing
(2019)
ISBN 10: 3030175014
ISBN 13: 9783030175016
Nuovo
Taschenbuch
Quantità: 1
Da:
Valutazione libreria
Descrizione libro Taschenbuch. Condizione: 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. Codice articolo 9783030175016
Compra nuovo
EUR 56,45
Convertire valuta