Suchergebnisse - Clarke, Edmund M. 1945-2020

  • Treffer 1 – 10 von 10
Treffer filtern
  1. 1
    Buchumschlag

    Model checking
    von Clarke, Edmund M. 1945-2020, Grumberg, Orna, Peled, Doron 1962-

    Veröffentlicht 2001
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Model checking and abstraction
    von Clarke, Edmund M. 1945-2020, Grumberg, Orna, Long, David E.

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Model checking
    von Clarke, Edmund M. 1945-2020

    Veröffentlicht 2018
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Model checking
    von Clarke, Edmund M. 1945-2020, Grumberg, Orna, Peled, Doron 1962-

    Veröffentlicht 1999
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Model checking
    von Clarke, Edmund M. 1945-2020, Grumberg, Orna, Peled, Doron 1962-

    Veröffentlicht 2002
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Model checking
    von Clarke, Edmund M. 1945-2020, Grumberg, Orna, Peled, Doron 1962-

    Veröffentlicht 2000
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Completeness and incompleteness theorems for hoare-like axiom systems
    von Clarke, Edmund M. 1945-2020

    Veröffentlicht 1976
    Hochschulschrift/Dissertation Microform Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Logic for programming, artificial intelligence, and reasoning: 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 ; revised selected papers

    Veröffentlicht 2010
    Weitere beteiligte Personen: “… Clarke, Edmund M. 1945-2020 …”
    Inhaltsverzeichnis
    Tagungsbericht Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Perspectives of systems informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011 : revised selected papers

    Veröffentlicht 2012
    Weitere beteiligte Personen: “… Clarke, Edmund M. 1945-2020 …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  10. 10
    Buchumschlag

    Handbook of model checking

    Veröffentlicht 2018
    Weitere beteiligte Personen: “… Clarke, Edmund M. 1945-2020 …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: