12 results
Type of media (2)
Classification (4)
Year
Persons
Publishers
Sort by
Results per page
Filter
12 results

Your search for José Meseguer

  1. Cover: Protocols, Strands, and Logic - Springer
    Daniel Dougherty | José Meseguer | Sebastian Alexander Mödersheim
    Protocols, Strands, and Logic
    Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday
    11/2021
    Springer
    9783030916312 (ISBN)
    E-Book
    PDF
    Other editions
    €78.10
    Available for download
  2. Cover: Foundations of Security, Protocols, and Equational Reasoning - Springer
    Joshua D. Guttman | Carl E. Landwehr | José Meseguer
    Foundations of Security, Protocols, and Equational Reasoning
    Essays Dedicated to Catherine A. Meadows
    05/2019
    Springer
    9783030190521 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Specification, Algebra, and Software - Springer
    Shusaku Iida | José Meseguer | Kazuhiro Ogata
    Specification, Algebra, and Software
    Essays Dedicated to Kokichi Futatsugi
    03/2014
    Springer
    9783642546242 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Formal Modeling: Actors; Open Systems, Biological Systems - Springer
    Gul Agha | Olivier Danvy | José Meseguer
    Formal Modeling: Actors; Open Systems, Biological Systems
    Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
    10/2011
    Springer
    9783642249334 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Protocols, Strands, and Logic - Springer
    Daniel Dougherty | José Meseguer | Sebastian Alexander Mödersheim
    Protocols, Strands, and Logic
    Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday
    11/2021
    Springer
    9783030916305 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €79.17
    Shipment within 7-9 days
  6. Cover: Formal Modeling: Actors; Open Systems, Biological Systems - Springer
    Gul Agha | Olivier Danvy | José Meseguer
    Formal Modeling: Actors; Open Systems, Biological Systems
    Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
    10/2011
    Springer
    9783642249327 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  7. Cover: All About Maude - A High-Performance Logical Framework - Springer
    Manuel Clavel | Francisco Durán | Steven Eker
    All About Maude - A High-Performance Logical Framework
    How to Specify, Program, and Verify Systems in Rewriting Logic
    07/2007
    Springer
    9783540719403 (ISBN)
    Book
    Mixed media product
    Other editions
    €96.29
    Shipment within 7-9 days
  8. Cover: Foundations of Security, Protocols, and Equational Reasoning - Springer
    Joshua D. Guttman | Carl E. Landwehr | José Meseguer
    Foundations of Security, Protocols, and Equational Reasoning
    Essays Dedicated to Catherine A. Meadows
    04/2019
    Springer
    9783030190514 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  9. Cover: Specification, Algebra, and Software - Springer
    Shusaku Iida | José Meseguer | Kazuhiro Ogata
    Specification, Algebra, and Software
    Essays Dedicated to Kokichi Futatsugi
    02/2014
    Springer
    9783642546235 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  10. Cover: Concurrency, Graphs and Models - Springer
    Pierpaolo Degano | Rocco De Nicola | José Meseguer
    Concurrency, Graphs and Models
    Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
    06/2008
    Springer
    9783540686767 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 10-15 days
  11. Cover: Algebraic Methodology and Software Technology - Springer
    José Meseguer | Grigore Rosu
    Algebraic Methodology and Software Technology
    12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings
    07/2008
    Springer
    9783540799795 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  12. Cover: Algebra, Meaning, and Computation - Springer
    Kokichi Futatsugi | Jean-Pierre Jouannaud | José Meseguer
    Algebra, Meaning, and Computation
    Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
    06/2006
    Springer
    9783540354628 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 10-15 days