Ohcanbohtosat - "Programmverifikation"

  1. 1
    Bearbmagovva

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

    Almmustuhtton ©2009
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  2. 2
    Bearbmagovva

    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...

    Almmustuhtton 2004
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  3. 3
    Bearbmagovva

    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...

    Almmustuhtton 2005
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  4. 4
    Bearbmagovva

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

    Almmustuhtton 1997
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  5. 5
    Bearbmagovva

    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...

    Almmustuhtton ©2009
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  6. 6
    Bearbmagovva

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

    Almmustuhtton ©2009
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  7. 7
    Bearbmagovva

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

    Almmustuhtton 2005
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  8. 8
    Bearbmagovva

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

    Almmustuhtton 2010
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  9. 9
    Bearbmagovva

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

    Almmustuhtton ©2004
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  10. 10
    Bearbmagovva

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

    Almmustuhtton ©2004
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  11. 11
    Bearbmagovva

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

    Almmustuhtton ©1985
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  12. 12
    Bearbmagovva

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

    Almmustuhtton ©2011
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  13. 13
    Bearbmagovva

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

    Almmustuhtton ©2005
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  14. 14
    Bearbmagovva

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

    Almmustuhtton 2006
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  15. 15
    Bearbmagovva

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

    Almmustuhtton ©2008
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  16. 16
    Bearbmagovva

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

    Almmustuhtton 2010
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  17. 17
    Bearbmagovva

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

    Almmustuhtton 2010
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  18. 18
    Bearbmagovva

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

    Almmustuhtton 2010
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  19. 19
    Bearbmagovva

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

    Almmustuhtton c1977
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  20. 20
    Bearbmagovva

    The jagged edge of somewhere / by Amy Crofford.

    Almmustuhtton 2003
    Girji

    Lasit oiddohiidda
    Furkejuvvon:

Ohcanreaiddut: