Interactive Theorem Proving (angol)

· Springer, Berlin · 2018 · fűzött (paperback)

Interactive Theorem Proving (angol)

A teljes rendelését egy csomagban küldjük el, 1 postaköltségért!
718 Ft
718 Ft
Az ár 69 % az ajálott fogyasztói árral szemben
Normál ár 2 294 Ft
A termék jelenleg nem elérhető.
Tekintse meg az elérhető alternatív termékeket.
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... tovább 
Interactive Theorem Proving (angol)
A termék jelenleg nem elérhető.
718 Ft
  • Ez is érdekelheti
  • A szerző további könyvei
  • A kiadó további termékei
  • Utoljára megtekintett
  • Hasonló szerzők

Hasonló szerzők

Az ellenőrzött értékelések kifejezetten meg vannak jelölve, a többi nem ellenőrzött.
Semmilyen recenzió. Legyen Ön az első, írjon recenziót!
Váš avatar
Kiválasztás
Utónév
Az Ön recenziója
0

Látogatók könyve

Megjelölt ellenőrzött hozzászólások, a többi nem ellenőrzött.

Nagyker együttműködés

Ha érdekes a termékeik portfóliója, vegye fel velünk a kapcsolatot. Érdekes vásárlásokat, gyors fizetést és tiszteletteli együttműködést kínálunk.

nagykereskedesek@megakonyvek.hu

Alkoholt csak 18 éven felüliek vásárolhatnak.

Kérjük, erősítse meg, hogy már betöltötte a 18. életévét.