Computer Aided Verification
16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings
Autor:
Rajeev Alur, Doron A. Peled
Disponibilitate:
În depozitul extern
Expediem în 5-8 zile
553.98
lei
This book constitutes the refereed proceedings of the 16th International Conference on Computer Aide...