Εμφανίζονται 1 - 7 Αποτελέσματα από 7 για την αναζήτηση 'Meseguer, José', χρόνος αναζήτησης: 0,03δλ Περιορισμός αποτελεσμάτων
  1. 1
    All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic /
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /
    Έκδοση 2008
    Άλλοι συγγραφείς: “…Meseguer, José…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Formal Modeling: Actors, Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /
    Έκδοση 2011
    Άλλοι συγγραφείς: “…Meseguer, José…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi /
    Έκδοση 2014
    Άλλοι συγγραφείς: “…Meseguer, José…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday /
    Έκδοση 2006
    Άλλοι συγγραφείς: “…Meseguer, José…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
    Έκδοση 2008
    Άλλοι συγγραφείς: “…Meseguer, José…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows /
    Έκδοση 2019
    Άλλοι συγγραφείς: “…Meseguer, José…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email