Search

You searched for: Auteur Martí-Oliet, Narciso Remove constraint Auteur: Martí-Oliet, Narciso
1 - 4 of 4
Number of results to display per page

Search Results

1. Formal Methods: Foundations and Applications
thumbnail
Full text!
Author:
Braga; Martí-Oliet, Narciso
Publisher:
Springer International Publishing 2015
Format:
e-book
2. Rewriting Logic and Its Applications
thumbnail
Full text!
Author:
Escobar; Martí-Oliet, Narciso
Publisher:
Springer International Publishing 2020
Format:
e-book
3. Recent Trends in Algebraic Development Techniques
thumbnail
Full text!
Author:
Hutchison, David; Kanade, Takeo; Kittler, Josef; Martí-Oliet, Narciso; Palomino, Miguel
Publisher:
Springer Berlin Heidelberg 2013
Format:
e-book
4. 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