Zoeken

U zocht naar: Auteur Meseguer, José Filter Auteur: Meseguer, José weghalen Type e-book Filter Type: e-book weghalen
1 - 9 van 9
Aantal zoekresultaten per pagina

Zoekresultaten

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