VISOMS MAINOMOMS KNYGOMS –50%! ☃️ Nuolaida taikoma krepšelyje iki gruodžio 31 d.

Interactive Theorem Proving

Siūlomos Ieškomos Įvykę mainai Pagalba

Interactive Theorem Proving

Leidėjas: Springer Berlin Heidelberg

2013512 psl.ISBN 9783642396335

Viršelis: MinkštasAnglų k.

Negrožinė literatūra Literatūra užsienio kalbomis Kompiuterija ir informacinės technologijos

Šią knygą siūlo (0)

Šios knygos nori (0)