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% maha

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
Autor Dirk Beyer
1 laos

TASUTA kohaletoimetamine

258 psl.

2019 m.

Minkštas viršelis

Vöötkood: 9783030175016
Vaata üksikasju