نتایج جستجو
Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings
Marie-Claude Gaudel (auth.), 2011
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Leslie Lamport, 2002
