Product was successfully added to your shopping cart.

Verified Software. Theories, Tools, and Experiments

10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers
This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018. The 19 full papers presented were carefully revised and selected from 24 submissions.
  • Jazyk: Angličtina
  • Vazba: Paperback / softback
  • ISBN13 (EAN): 9783030035914
  • Kategorie: knowledge-based systems
  • Počet stran: 345
  • Rozměry (mm): 235 x 155
  • Vydavatel: Springer Nature Switzerland AG
  • Rok vydání: 2019

Poštovné už od 39 Kč a při objednávce nad 1199 Kč doprava na pobočku Zásilkovny zdarma
1 880,00 Kč

  • VELKÝ VÝBĚR

    Nabízíme miliony knih v angličtině. Od beletrie až po ty nejodborněji odborné.

  • POŠTOVNÉ ZDARMA

    Poštovné už od 39 Kč a při objednávce nad 1199 Kč doprava na pobočku Zásilkovny zdarma

  • OVĚŘENO ZÁKAZNÍKY

    Získali jsme certifikát "Ověřeno zákazníky" na Heureka.cz. Prohlédněte si naše recenze

  • SKVĚLÉ CENY

    Ceny knih se snažíme držet při zemi a vždy pod cenou doporučovanou vydavatelem, aby si je mohl koupit opravdu každý.

  • ONLINE PODPORA

    Můžete využít online chatu, emailu nebo nám zatelefonovat.

  • OSOBNÍ PŘÍSTUP

    Nejdůležitější je pro nás Vaše spokojenost. Prodáváme knihy, protože je milujeme. Nejsme žádní nadnárodní giganti, ale poctivá česká firma.