bib.howest.be Zoekresultaten

U zocht naar: Auteur Meseguer, José Fulltext online

1 - 9 van 9

1. Formal Modeling: Actors, Open Systems, Biological Systems

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

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

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

Auteur:: Shusaku Iida, JosÃ© Meseguer, Kazuhiro Ogata; Meseguer, José; Ogata, Kazuhiro
Uitgever:: Springer Berlin Heidelberg 2014
Type:: e-book

5. Algebra, Meaning, and Computation

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

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

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

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

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