Search

You searched for: Auteur Meseguer, José Remove constraint Auteur: Meseguer, José
1 - 9 of 9
Number of results to display per page

Search Results

1. Formal Modeling: Actors, Open Systems, Biological Systems
thumbnail
Full text!
Author:
Agha, Gul; Danvy, Olivier; Kanade, Takeo; Meseguer, José
Publisher:
Springer Berlin Heidelberg 2011
Format:
e-book
2. Foundations of Security, Protocols, and Equational Reasoning
thumbnail
Full text!
Author:
Guttman; Landwehr, Carl E.; Meseguer, José; Pavlovic, Dusko
Publisher:
Springer International Publishing 2019
Format:
e-book
3. Protocols, Strands, and Logic : Essays Dedicated to Joshua Guttman on the Occasion of His 66. 66th Birthday
thumbnail
Full text!
Author:
Dougherty, Daniel.; Meseguer, José; Mödersheim, Sebastian Alexander; Rowe, Paul
Publisher:
Cham Springer International Publishing AG 2022
Format:
e-book
4. Specification, Algebra, and Software
thumbnail
Full text!
Author:
Shusaku Iida, José Meseguer, Kazuhiro Ogata; Meseguer, José; Ogata, Kazuhiro
Publisher:
Springer Berlin Heidelberg 2014
Format:
e-book
5. Algebra, Meaning, and Computation
thumbnail
Full text!
Author:
Futatsugi, Kokichi; Goguen, Joseph; Jouannaud, Jean-Pierre; Kanade, Takeo; Meseguer, José
Publisher:
Springer Berlin / Heidelberg 2006
Format:
e-book
6. Concurrency, Graphs and Models
thumbnail
Full text!
Author:
Degano, Pierpaolo; De Nicola, Rocco; Kanade, Takeo; Meseguer, José; Montanari, Ugo; Nicola, Rocco
Publisher:
Springer Berlin Heidelberg 2008
Format:
e-book
7. All About Maude - A High-Performance Logical Framework
thumbnail
Full text!
Author:
Clavel, Manuel; Durán, Francisco; Eker, Steven; Kanade, Takeo; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn; Kittler, Josef; Talcott, Carolyn L.
Publisher:
Springer Berlin Heidelberg 2007
Format:
e-book
8. Arithmetic and Algebraic Circuits
thumbnail
Full text!
Author:
Lloris Ruiz; Castillo Morales, Encarnación; García Ríos, Antonio; Lloris Meseguer, María José; Parrilla Roure, Luis
Publisher:
Springer International Publishing 2021
Format:
e-book
9. Spacecraft thermal control
thumbnail
Full text!
Author:
Meseguer, Josâe; Meseguer, J; Meseguer, Jose; Pâerez-Grande, Isabel; Pérez-Grande, Isabe; Sanz-Andrâes, Angel; Perez-Grande, I; Sanz-Andres, A; Alonso, Gustavo; Pérez-Grasa, Isabel; Sanz-Andrés, Angel
Publisher:
Woodhead Publishing 2012
Format:
e-book