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

Automated Theorem Proving in Software Engineering

Siūlomos Ieškomos Įvykę mainai Pagalba

Automated Theorem Proving in Software Engineering

Johann M. Schumann

Leidėjas: Springer-Verlag GmbH

2001ISBN 9783540679899

Viršelis: KietasAnglų k.

Negrožinė literatūra Literatūra užsienio kalbomis Fiziniai ir technologijos mokslai Statyba, inžinerija

Šią knygą siūlo (0)

Šios knygos nori (0)