博客來-作者-Lakhnech

		Concurrency Verification: Introduction to Compositional and Non-Compositional Methods 外文書 , De Roever Frank/ Hanneman Jozef/ Lakhnech Ulrich/ Hooman Willem-Paul/ De Boer Yassine , Ingram , 出版日期: 2012-01-26 優惠價: 5940 元 This is a systematic and comprehensive introduction both to compositional proof methods for the stat... more	放入購物車下次再買
		Formal Techniques, Modeling And Analysis Of Timed And Fault-Tolerant Systems: Joint International Conferences On Fromal Modeling 外文書 , Lakhnech Sergio (EDT) Yassine (EDT)/ Yovine , Ingram , 出版日期: 2004-09-20 優惠價: 3299 元 This volume contains the proceedings of the joint conference on Formal M- elling and Analysis of Tim... more	放入購物車下次再買
		Concurrency Verification: Introduction to Compositional and Noncompositional Methods 外文書 , Frank/ Hannemann Job Jozef/ Lakhnech Mannes/ Zwiers Roever Ulrich/ Hooman W. P. De (EDT)/ De Boer Yassine/ Poel , Ingram , 出版日期: 2001-11-26 優惠價: 17000 元 This is a systematic and comprehensive introduction both to compositional proof methods for the stat... more	放入購物車下次再買
		From Programs to Systems - The Systems Perspective in Computing: Etaps Workshop, Fps 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014 外文書 , Axel Bensalem Lakhnech Legay Saddek Yassine , Ingram , 出版日期: 2014-03-11 優惠價: 3299 元	放入購物車下次再買

搜尋推薦