Book cover of: Tools and Algorithms for the Construction and Analysis of Systems. By: Dirk Beyer
Book cover of: Tools and Algorithms for the Construction and Analysis of Systems. By: Dirk Beyer
15% nuolaida

Tools and Algorithms for the Construction and Analysis of Systems

24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Lecture Notes in Computer Science

€55,37 €65,33
Autorius Dirk Beyer
Pristatymas gali užtrukti 2-3 sav.

NEMOKAMAS pristatymas

429 psl.

2018 m.

Minkštas viršelis

Brūkšninis kodas: 9783319899596
Plačiau