Edmund Clarke, editor
[Springer-Verlag, ], 2012
eBooks
edited by Ivan Lirkov, Svetozar Margenov and Jerzy Wasniewski
Springer-Verlag, 2012
eBooks
Pedri Miguel Ferreira Martins Areze, editor
Springer, 2019
Buku Teks
Springer Cham, 2019
eBooks
Springer Cham, 2019
eBooks