Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures /

Podobne zapisy

• Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings /
  od: International Conference on Integrated Formal Methods (6th : 2007 : Oxford, England), i wsp.
  Wydane: (2007)
• Understanding formal methods /
  od: 273376 Monin, Jean-Francois
  Wydane: (2003)
• Modern formal methods and applications /
  od: Gabbar, Hossam A
  Wydane: (2006)
• Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings /
  od: International Conference on Formal Engineering Methods (7th : 2005 : Manchester, England), i wsp.
  Wydane: (2005)
• Formal methods and software engineering: 9th international conference on formal engineering methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15/
  od: International Conference on Formal Engineering Methods (9th : 2007 : Boca Raton, Fla.), i wsp.
  Wydane: (2007)