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
22% izslēgts

Tools and Algorithms for the Construction and Analysis of Systems

25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Lecture Notes in Computer Science

€48,37 €61,91
Līdz Dirk Beyer
1 ir noliktavā

BEZMAKSAS piegāde

258 psl.

2019 m.

Minkštas viršelis

Svītrkods: 9783030175016
Skatīt informāciju