Showing 1 - 7 results of 7 for search 'Meseguer, José', query time: 0.09s Refine Results
  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
    Electronic eBook
  2. 2
    Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /
    Published 2008
    Other Authors: “…Meseguer, José…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Formal Modeling: Actors, Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /
    Published 2011
    Other Authors: “…Meseguer, José…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi /
    Published 2014
    Other Authors: “…Meseguer, José…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday /
    Published 2006
    Other Authors: “…Meseguer, José…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
    Published 2008
    Other Authors: “…Meseguer, José…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows /
    Published 2019
    Other Authors: “…Meseguer, José…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search