Search

You searched for: Auteur Martí-Oliet Remove constraint Auteur: Martí-Oliet
1 - 5 of 5
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. Logic, Rewriting, and Concurrency
thumbnail
Full text!
Author:
Martí-Oliet; Talcott, Carolyn; Ölveczky, Peter Csaba
Publisher:
Springer International Publishing 2015
Format:
e-book
4. 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
5. 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