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 589,-

Tilgjengelig i 2 butikker

Frakt og levering

Forhåndsbestill

Frakt og levering

Produktinformasjon

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.

Topplisten: Other Brand Bøker

Karbofellen

339,-

Salig barneglede gullkorn fra barnemunn

169,-

Naturlig friskere

339,-

Bakmannen

209,-

Rasputin

299,-

Secure

199,-

Drink Pink! Cocktails Inspired by Barbie, Mean Girls, Legally Blonde, and More—75 Dazzling Recipes

199,-

Beyond Life and Death

199,-

Pillefellen

399,-

Barnas første sangkort

258,-

Spesifikasjon

Produkt

Produktnavn	Tools and Algorithms for the Construction and Analysis of Systems
Merke	Other Brand
book typ	Ungdomsskole/videregående

Populære produkter

Karbofellen

339,-

Barnemat Av Ida Gran-Jansen

199,-

The Alchemist ; The Alchemist Av Paulo Coelho

179,-

Glukoserevolusjonen Av Jessie Inchauspé

119,-

Salig barneglede gullkorn fra barnemunn

169,-

Sjövall Isabelle Designfulness : how brain research is revolutionising the way we live and work

369,-

Silkeveiene: En ny verdenshistorie av Peter Frankopan - Historie og dokumentar

129,-

Suksess Med Egne Medier Av Øystein Bonvik, Aina Lemoen Lunde

165,-

Kokkelære - Den Store Kokeboka | E-bok av Forlaget Press

429,-

Den Store Barnesangboka

230,-

En Middag I Roma Av Andreas Viestad

209,-

Bakmannen

209,-

Secure

199,-

Drink Pink! Cocktails Inspired by Barbie, Mean Girls, Legally Blonde, and More—75 Dazzling Recipes

199,-

Beyond Life and Death

199,-

Pris og prishistorikk

Akkurat nå er 589,- 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.