Investment Industry Claims Debunked Autor Robert P. Kurshan 30 noi 2021 Paperback Preț: 212.57 lei 22-36 zile
Computer-Aided Verification Editat de Edmund M. Clarke et al. 2 oct 1991 Paperback Preț: 381.74 lei 43-57 zile
Verification of Digital and Hybrid Systems NATO ASI Subseries F:, nr. 170 Editat de M. Kemal Inan et al. 30 sep 2011 Paperback Preț: 634.91 lei 793.64 lei 43-57 zile -20%
Computer–Aided Verification of Coordinating Processes – The Automata–Theoretic Approach Princeton Legacy Library Autor Robert P. Kurshan 30 iun 2014 Paperback Preț: 459.57 lei 43-57 zile