Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /

Benzer Materyaller

• Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
  Yazar:: D'Souza, Deepak, ve diğerleri
  Baskı/Yayın Bilgisi: (2015)
• Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /
  Baskı/Yayın Bilgisi: (2001)
• Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /
  Baskı/Yayın Bilgisi: (2001)
• Advances in learning software organizations : third international workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001 : proceedings /
  Baskı/Yayın Bilgisi: (2001)
• Mathematical software : proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 /
  Baskı/Yayın Bilgisi: (2002)