Interactive Theorem Proving (anglicky)

· Springer, Berlin · 2018 · brožovaná

Interactive Theorem Proving (anglicky)

31,91 €
31,91 €
Cena nižšia o 67 % oproti DMOC
Bežne 95,39 €
Produkt momentálne nie je dostupný.
Pozrite sa na dostupné alternatívy.
This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018. The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions. The papers feature research in... prečítať celé 
Interactive Theorem Proving (anglicky)
Produkt momentálne nie je dostupný.
31,91 €
  • Mohlo by Vás taktiež zaujať
  • Ďalšie knihy autora
  • Ďalší tovar nakladateľa
  • Naposledy zobrazené
  • Podobní autori
1 000 000+ druhov produktov

Podobní autori

Venujeme sa dobročinnej činnosti
Overené recenzie sú tak výslovne označené, ostatné sú neoverené.
Nie sú tu žiadne recenzie. Buďte prvý/-á a napíšte tú svoju!
Váš avatar
Vybrať si
Meno
Vaše recenzie
0

Kniha návštev

Overené príspevky sú takto označené, ostatné sú neoverené.
Dana Palencarova
S parným hrncom na stavu som spokojná aj dodaním na adresu odporúčam túto stránku na zakúpenie ich tovaru som spokojna.
Olinka
Overený príspevok
Megaknihy odporúčam Potešia výhodné ceny, pomerne rýchle dodanie tovaru, výborná komunikácia s obchodom.
Alexander
Overený príspevok
Odporúčam Megaknihy, najmä pri nákupe kníh v cudzom jazyku. V porovnaní s konkurenciou bola cena knihy, ktorú som kúpil, o 10 eur lacnejšia. Navyše som knihu dostal už za päť pracovných dní, zatiaľ čo u konkurencie mohla dodávka trvať aj viac ako mesiac. Som veľmi spokojný.
Dianka Vápeníková
S nákupom na Megaknihách som maximálne spokojná. Majú veľký výber kníh za priaznivé ceny a objednávka bola vybavená rýchlo a bez problémov. Pre mňa je to skvelé miesto na objednávanie kníh a rada sa sem vraciam.
Milka Murinova
Dobry den.Chcem sa opytat na tu deku Jerry Fabrics Deka mikroflanel soft Vinnova 150/200.Aka to je deka.Ci sa to hodi.Na prikritie gauca.Dakujem.A ci mate aj väcsi rozmer 170/200. Vdaka
Peter Jurasko
Súper ešte stema ne sklamali
Kristína
Overený príspevok
Moja najobľúbenejšia stránka na objednávania knih. Velky vyber, super ceny, 99% objednávok veľmi rýchlo vybavená. Keď knihy, tak len odtiaľto
Jano
Overený príspevok
Zakúpil som si sat.zosilova.Bol som skôr skepicky,už som neveril ze mi nieco v mojom probléme zo signálom pomôze.Ale zakúpený zosilovač u Vás problém k spokojnosti vyriešil.Prijatelna cena a rýchlosť doručenia sú už len bombonikom mojej spokojnosti z Vašim obchodom.
Veronika
Overený príspevok
Som veľmi spokojná s tovarom ,úžasná komunikácia s obchodom a snaha o ochranu nášho životného prostredia ❤️ ďakujeme
Stanislav
Som spokojný s tovarom i keď dlžka dodania je pomerne dlhá.Už som toho nakúpill viac a určite ešte budem.
Knihy vo viacerých jazykoch

Veľkoobchodná spolupráca

Ak máte zaujímavý sortiment, neváhajte nás osloviť. Ponúkame zaujímavé odbery, rýchle platby a rešpektuplnú spoluprácu.

velkoobchody@megaknihy.sk

Alkohol môžu nakupovať iba osoby staršie ako 18 rokov.

Prosím, potvrďte, že už máte 18 rokov.