Product was successfully added to your shopping cart.

QED at Large

A Survey of Engineering of Formally Verified Software
Od
Covers the timeline and research literature concerning proof development for program verification, including theories, languages, and tools. The book emphasizes challenges and breakthroughs at each stage in history and highlights challenges that are currently present due to the increasing scale of proof developments.
  • Jazyk: Angličtina
  • Vazba: Paperback / softback
  • ISBN13 (EAN): 9781680835946
  • Kategorie: Programming & scripting languages: general
  • Počet stran: 194
  • Rozměry (mm): 234 x 293 x 14
  • Vydavatel: now publishers Inc
  • Rok vydání: 2019

Poštovné už od 39 Kč a při objednávce nad 1499 Kč doprava na pobočku Zásilkovny zdarma
2 606,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 1499 Kč doprava na pobočku Zásilkovny zdarma

  • OVĚŘENÉ RECENZE

    Jsme na Heuréce. 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.

Související kategorie