
Tools and Algorithms for the Construction and Analysis of Systems
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 o......
fra 579,-
På lager i 2 butikker
Kjøp på nett
Fjernlager
Frakt og levering
På lager
Frakt og levering
Produktinformasjon
<p>This book is Open Access under a CC BY licence.</p><p>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.<br></p><p><br></p>
Spesifikasjon
Produkt
| Produktnavn | Tools and Algorithms for the Construction and Analysis of Systems |
| book typ | boker, fagboker, data og informasjonsteknologi, programmering |
Populære produkter
Pris og prishistorikk
Akkurat nå er 579,- den billigste prisen for Tools and Algorithms for the Construction and Analysis of Systems blant 2 butikker hos Prisradar. Sjekk også vår topp 5-rangering av beste bøker for å være sikker på at du gjør det beste kjøpet.
The Post-Secular ConditionComparative and International EducationThe Bloomsbury Handbook of Sexuality Inclusion in EducationSpider-Man Block (An Abrams Block Book)
Whitefield on the Christian LifeThe Kyoto School and the Japanese NavyPlant Narratives in Variegated EcosystemsLost Worlds


















