Kết quả tìm kiếm - "Programmverifikation"

  1. 1
    Ảnh bìa

    Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers / Darren Cofer, Alessandr...

    Được phát hành ©2009
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  2. 2
    Ảnh bìa

    Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice...

    Được phát hành 2004
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  3. 3
    Ảnh bìa

    Tools and algorithms for the construction and analysis of systems : 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice...

    Được phát hành 2005
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  4. 4
    Ảnh bìa

    Modular Compiler Verification : a Refinement-Algebraic Approach Advocating Stepwise Abstraction / by Markus M ller-Olm.

    Được phát hành 1997
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  5. 5
    Ảnh bìa

    Formal methods : foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers / Marcel Viníci...

    Được phát hành ©2009
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  6. 6
    Ảnh bìa

    Model checking software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 : proceedings / Corina S. Pǎsǎreanu (ed.).

    Được phát hành ©2009
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  7. 7
    Ảnh bìa

    Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings / Patrice Godefroid (ed.).

    Được phát hành 2005
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  8. 8
    Ảnh bìa

    Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday / Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.).

    Được phát hành 2010
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  9. 9
    Ảnh bìa

    Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings / Susanne Graf, Laurent Mounier, eds.

    Được phát hành ©2004
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  10. 10
    Ảnh bìa

    Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings / Bernhard Steffen, Giorgio L...

    Được phát hành ©2004
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  11. 11
    Ảnh bìa

    A survey of verification techniques for parallel programs / Howard Barringer.

    Được phát hành ©1985
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  12. 12
    Ảnh bìa

    Hardware and software, verification and testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers / Kedar Na...

    Được phát hành ©2011
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  13. 13
    Ảnh bìa

    Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings / Chris Hankin, Igor Siveroni (eds.).

    Được phát hành ©2005
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  14. 14
    Ảnh bìa

    Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings / [edited by] E. Allen E...

    Được phát hành 2006
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  15. 15
    Ảnh bìa

    Leveraging applications of formal methods, verification and validation. Tiziana Margaria, Bernhard Steffen (Eds.). Third International Symposium, ISoLA 2008, Porto Sani, Greece, Oc...

    Được phát hành ©2008
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  16. 16
    Ảnh bìa

    Formal methods and software engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 : proceedings / Jin Song Do...

    Được phát hành 2010
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  17. 17
    Ảnh bìa

    Advanced lectures on software engineering : LASER summer school 2007/2008 / Peter Müller (ed.).

    Được phát hành 2010
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  18. 18
    Ảnh bìa

    Verified software: theories, tools, experiments : third international conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 : proceedings / Gary T. Leavens, Peter O'Hearn, Srir...

    Được phát hành 2010
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  19. 19
    Ảnh bìa

    Denotational semantics : the Scott-Strachey approach to programming language theory / by Joseph E. Stoy.

    Được phát hành c1977
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  20. 20
    Ảnh bìa

    The jagged edge of somewhere / by Amy Crofford.

    Được phát hành 2003
    Sách

    Lưu vào danh sách
    Đã lưu trong:

Công cụ tìm kiếm: