Zoeken

U zocht naar: Auteur Martí-Oliet Filter Auteur: Martí-Oliet weghalen
1 - 5 van 5
Aantal zoekresultaten per pagina

Zoekresultaten

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