Filtre: Doron A. Peled

Cărți editura Springer

Runtime Verification

Editat de Saddek Bensalem et al.

23 sep 2009

Preț: 330^.36 lei 412^.94 lei

43-57 zile

-20%

Verification, Model Checking, and Abstract Interpretation

Editat de Francesco Logozzo et al.

26 feb 2008

Preț: 337^.17 lei 421^.47 lei

43-57 zile

-20%

Computer Aided Verification

Editat de Rajeev Alur et al.

29 iun 2004

Preț: 662^.37 lei 827^.96 lei

43-57 zile

-20%

Formal Techniques for Networked and Distributed Systems - FORTE 2002

Editat de Doron A. Peled et al.

28 oct 2002

Preț: 339^.73 lei 424^.66 lei

43-57 zile

-20%

Automated Technology for Verification and Analysis

Editat de Doron A. Peled et al.

19 sep 2005

Preț: 346^.95 lei 433^.69 lei

22-36 zile

-20%

Software Reliability Methods

Texts in Computer Science

Autor Doron A. Peled

9 oct 2011

Preț: 338^.01 lei 422^.51 lei

43-57 zile

-20%