کتاب های Gerard J Holzmann
![Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings](http://cdn.ketabkoo.com/covers/1/135285-n.jpg)
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings
Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 1996![Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings](http://cdn.ketabkoo.com/covers/1/135287-n.jpg)
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings
Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 1996![Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings](http://cdn.ketabkoo.com/covers/1/150300-n.jpg)
Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.), 2011![Design and validation of computer protocols](http://cdn.ketabkoo.com/covers/16/1694869-n.jpg)
Design and validation of computer protocols
Gerard J Holzmann; American Telephone and Telegraph Company, 1991![Design and validation of computer protocols](http://cdn.ketabkoo.com/covers/16/1694870-n.jpg)
Design and validation of computer protocols
Gerard J Holzmann; American Telephone and Telegraph Company, 1990![The spin model checker : primer and reference manual](http://cdn.ketabkoo.com/covers/16/1694871-n.jpg)