Suchergebnisse - Meseguer, José 1950-

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

    Algebras with actions and automata
    von Kühnel, Wolfgang 1950-, Meseguer, José 1950-, Pfender, M., Sols, I.

    Veröffentlicht 1975
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Primitive recursive algebraic theories and program schemes
    von Kühnel, Wolfgang 1950-, Meseguer, José 1950-, Pfender, M., Sols, I.

    Veröffentlicht 1975
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Protocols, strands, and logic: essays dedicated to Joshua Guttman on the occasion of his 66.66th birthday

    Veröffentlicht 2021
    Weitere beteiligte Personen: “… Meseguer, José 1950- …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

    Foundations of security, protocols, and equational reasoning: essays dedicated to Catherine A. Meadows

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Meseguer, José 1950- …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: